Cristian Vidrascu Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Vidrascu: Modular Analysis of Concurrency in Jumping Petri Nets. SYNASC 2005: 374-381
2004
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Vidrascu: Modelling and Verification with Jumping Petri Nets. Sci. Ann. Cuza Univ. 14: 91-99 (2004)
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Vidrascu: Modelling a Sender-Receiver System. Acta Cybern. 16(1): 147-154 (2003)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Vidrascu, Toader Jucan: Concurrency-Degrees for P/T - Nets. Sci. Ann. Cuza Univ. 13: 91-104 (2003)
2002
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Vidrascu, Toader Jucan: Concurrency-Degrees for Jumping Petri-Nets. Sci. Ann. Cuza Univ. 12: 135-150 (2002)
2001
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Vidrascu: Some Applications of the Minimal Coverability. Sci. Ann. Cuza Univ. 10: 55-78 (2001)
2000
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Vidrascu, Toader Jucan: On Coverability Structures for Jumping Petri Nets. Sci. Ann. Cuza Univ. 9: 1-26 (2000)

Coauthor Index

1Toader Jucan [1] [3] [4]

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)