Вы здесь

Главная

Pistore M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specification and Verification of Timed Lazy Systems 1996 Corradini F., Pistore M. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1996 11.10.1996
СТ Efficient Minimization up to Location Equivalence 1996 Montanari U., Pistore M., Yankelevich D. Lecture Notes in Computer Science 18.05.1996
СТ Finite State Verification for the Asynchronous pi-Calculus 1999 Montanari U., Pistore M. Lecture Notes in Computer Science 08.04.1999
СТ Closed Interval Process Algebra versus Interval Process Algebra 2001 Corradini F., Pistore M. Acta Informatica 18.05.2001
СТ Agent-Oriented Modeling by Interleaving Formal and Informal Specification 2004 Perini A., Pistore M., Roveri M., Susi A. Lecture Notes in Computer Science 12.02.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Artificial Intelligence: Methodology, Systems, and Applications: Proc./13th International Conference, AIMSA 2008. Varna, Bulgaria, September 2008 2008 Lecture Notes in Artificial Intelligence
  1. Dochev D.
  2. Pistore M.
  3. Traverso P.
 25.10.2008
СБ Future Internet - FIS 2009: Revised Selected Papers/ Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 2009 2010 Lecture Notes in Computer Science
  1. Zseby T.
  2. Savola R.
  3. Pistore M.
 11.09.2010