[Back]


Talks and Poster Presentations (without Proceedings-Entry):

B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith:
"Parameterized Model Checking of Rendezvous Systems";
Talk: Algorithmics of Infinite State Systems workshop, Wien; 2014-07-18.


Created from the Publication Database of the Vienna University of Technology.