Home Advanced Search

Advanced Search - Page 1

Protocol Specification, Testing and Verification XIV
  • PDF
  • English
  • Year: 1995
  • Author: Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)
Mobile Agents for Telecommunication Applications: 5th InternationalWorkshop, MATA 2003, Marrakech, Morocco, October 8-10, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Sergio Gonzalez-Valenzuela, Son T. Vuong, Victor C. M. Leung (auth.), Eric Horlait, Thomas Magedanz, Roch H. Glitho (eds.)
Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China
  • PDF
  • English
  • Year: 1999
  • Author: A. Petrenko, S. Boroday, R. Groz (auth.), Jianping Wu, Samuel T. Chanson, Qiang Gao (eds.)
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Kim Guldstrand Larsen, Tim Willemse
Membrane Receptors, Dynamics, and Energetics
  • PDF
  • English
  • Year: 1987
  • Author: Marc Charbre, T. Minh Vuong (auth.), K. W. A. Wirtz (eds.)
search