Home Advanced Search

Advanced Search - Page 1

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.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
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.)
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.)
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Nikolaj Bjørner, Frank de Boer (eds.)
Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Leonardo de Moura (auth.), Jimmy Lee (eds.)
Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Leonardo de Moura (auth.), Jimmy Lee (eds.)
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joël Ouaknine, James Worrell (auth.), Franck Cassez, Claude Jard (eds.)
search