Infinity'08
10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008
Věcné třídění
Bibliografické údaje
- Nakladatel
- Vysoké učení technické v Brně
- Vydáno
- 2008
- Jazyk
- Angličtina
Vydání
- Tištěná kniha
978-80-214-3697-8 (kroužková vazba)
Vydáno: