|
Reactive Systems: Modelling, Specification and Verification
by
4.17 avg rating — 6 ratings
—
published
2007
—
4 editions
|
|
|
Automata, Languages and Programming, Part II
by
really liked it 4.00 avg rating — 2 ratings
—
published
2008
—
4 editions
|
|
|
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
by
really liked it 4.00 avg rating — 1 rating
—
published
2017
—
3 editions
|
|
|
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science, Series Number 3)
by
0.00 avg rating — 0 ratings
—
published
2007
—
2 editions
|
|
|
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I (Lecture Notes in Computer Science, 5125)
by
0.00 avg rating — 0 ratings
—
published
2008
—
3 editions
|
|
|
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 10460)
by
0.00 avg rating — 0 ratings
|
|
|
Reactive Systems: Modelling, Specification and Verification Hardcover August 13, 2007
by
0.00 avg rating — 0 ratings
|
|
|
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II (Lecture Notes in Computer Science Book 5126)
by
0.00 avg rating — 0 ratings
|
|
|
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences ... Notes in Computer Science Book 3921)
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.