Home Advanced Search

Advanced Search - Page 1

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Stephan Merz (auth.), Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (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.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
  • PDF
  • English
  • Year: 2000
  • Author: Claude Jard, Thierry Jéron, Pierre Morel (auth.), Hasan Ural, Robert L. Probert, Gregor v. Bochmann (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • PDF
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Jasmin Christian Blanchette, Stephan Merz (eds.)
Diskrete Mathematik erleben: Anwendungsbasierte und verstehensorientierte Zugänge
  • PDF
  • German
  • Year: 2015
  • Author: Stephan Hußmann, Brigitte Lutz-Westphal (eds.)
Austrian Economics: Tensions and New Directions
  • PDF
  • English
  • Year: 1992
  • Author: Stephan Boehm, Mark Blaug (auth.), Bruce J. Caldwell, Stephan Boehm (eds.)
Modeling and Verification of Real-time Systems
  • PDF
  • English
  • Year: 2008
  • Author: Nicolas Navet, Stephan Merz
search