Home Advanced Search

Advanced Search - Page 1

The Theory of Timed I O Automata, Second Edition
  • PDF
  • English
  • Year: 2010
  • Author: Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
The Theory of Timed I-O Automata
  • PDF
  • English
  • Year: 2006
  • Author: Kaynar D.K., Lynch N., Segala R., Vaandrager F.
The Theory of Timed I-O Automata
  • PDF
  • English
  • Author: Kaynar D.K., Lynch N., Segala R., Vaandrage F.
Lectures on Embedded Systems: European Educational Forum School on Embedded Systems Veldhoven, The Netherlands November 25–29, 1996
  • DJVU
  • English
  • Year: 1998
  • Author: Frits Vaandrager (auth.), Grzegorz Rozenberg, Frits W. Vaandrager (eds.)
Distributed algorithms
  • DJVU
  • English
  • Year: 1996
  • Author: Lynch, Nancy A
Distributed Algorithms
  • DJVU
  • English
  • Year: 1996
  • Author: Nancy A. Lynch
Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)
  • PDF
  • English
  • Year: 1996
  • Author: Nancy A. Lynch
Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Philippe Baufreton (auth.), Frits W. Vaandrager, Jan H. van Schuppen (eds.)
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)
search