Talks and Poster Presentations (with Proceedings-Entry):

B. Aminof, S. Jacobs, A. Khalimov, S. Rubin:
"Parameterized Model Checking of Token-Passing Systems";
Talk: Verification, Model Checking, and Abstract Interpretation (VMCAI), San Diego; 2014-02-19; in: "VMCAI", Springer / LNCS, 8318 (2014), 262 - 281.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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