𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Towards Checking Parametric Reachability for UML State Machines

✍ Scribed by Pnueli, Amir; Virbitskaite, Irina; Voronkov, Andrei

Book ID
120330745
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
326 KB
Category
Article
ISBN
3642114865

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Pers
[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Towards an Open Framework for C Verification Tools Benchmarking
✍ Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei πŸ“‚ Article πŸ“… 2012 πŸ› Springer Berlin Heidelberg 🌐 English βš– 340 KB

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were

[Lecture Notes in Computer Science] Pers
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || A Systematic Approach towards Object-Based Petri Net Formalisms
✍ BjΓΈrner, Dines; Broy, Manfred; Zamulin, Alexandre V. πŸ“‚ Article πŸ“… 2001 πŸ› Springer Berlin Heidelberg 🌐 German βš– 179 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The 4th International Andrei Ershov Memorial Conference, Psi 2001, Held In Akademgorodok, Novosibirsk, Russia, In July 2001. The 50 Revised Papers Presented Together With 2 Invited Memorial Papers Devoted To The Work Of Andrei Ershov