Infinity'08
10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008
Tištěná kniha
Habermehl Peter, Vojnar Tomáš
Vysoké učení technické v Brně
2008
978-80-214-3697-8 (kroužková vazba)