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)
http://dx.doi.org/10.1007/978-3-642-54013-4_15
Created from the Publication Database of the Vienna University of Technology.