ID:DA14461420
International Workshop, Formal Modeling and Analysis of Timed Systems
同姓同名の著者を検索
Sergiy Bogomolov, David Parker (eds.)
Springer c2022 Lecture notes in computer science 13465
: pbk
所蔵館1館
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
所蔵館2館
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
所蔵館3館
Eugene Asarin, Patricia Bouyer (eds.)
Springer c2006 Lecture notes in computer science 4202
所蔵館6館
Paul Pettersson, Wang Yi (eds.)
Springer c2005 Lecture notes in computer science 3829
所蔵館9館
Yassine Lakhnech, Sergio Yovine (eds.)
Springer c2004 Lecture notes in computer science 3253
所蔵館17館
Kim G. Larsen, Peter Niebert (eds.)
Springer c2004 Lecture notes in computer science 2791