ID:DA14461420
International Workshop, Formal Modeling and Analysis of Timed Systems
Search authors sharing the same name
Sergiy Bogomolov, David Parker (eds.)
Springer c2022 Lecture notes in computer science 13465
: pbk
Available at 1 libraries
Catalin Dima, Mahsa Shirmohammadi (eds.)
Springer c2021 Lecture notes in computer science 12860 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Nathalie Bertrand, Nils Jansen (eds.)
Springer c2020 Lecture notes in computer science 12288 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Étienne André, Mariëlle Stoelinga (eds.)
Springer c2019 Lecture notes in computer science 11750 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Krishnendu Chatterjee, Thomas A. Henzinger (eds.)
Springer c2010 Lecture notes in computer science 6246
Available at 2 libraries
Joël Ouaknine, Frits W. Vaandrager (eds.)
Springer c2009 Lecture notes in computer science 5813
Franck Cassez, Claude Jard (eds.)
Springer c2008 Lecture notes in computer science 5215
Jean-Franois Raskin, P.S. Thiagarajan (eds.)
Springer c2007 Lecture notes in computer science 4763
Available at 3 libraries
Eugene Asarin, Patricia Bouyer (eds.)
Springer c2006 Lecture notes in computer science 4202
Available at 6 libraries
Paul Pettersson, Wang Yi (eds.)
Springer c2005 Lecture notes in computer science 3829
Available at 9 libraries
Yassine Lakhnech, Sergio Yovine (eds.)
Springer c2004 Lecture notes in computer science 3253
Available at 17 libraries
Kim G. Larsen, Peter Niebert (eds.)
Springer c2004 Lecture notes in computer science 2791