dblp.uni-trier.dewww.uni-trier.de

Cristian Vidrascu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
7EECristian Vidrascu: Modular Analysis of Concurrency in Jumping Petri Nets. SYNASC 2005: 374-381
2004
6 Cristian Vidrascu: Modelling and Verification with Jumping Petri Nets. Sci. Ann. Cuza Univ. 14: 91-99 (2004)
2003
5EECristian Vidrascu: Modelling a Sender-Receiver System. Acta Cybern. 16(1): 147-154 (2003)
4 Cristian Vidrascu, Toader Jucan: Concurrency-Degrees for P/T - Nets. Sci. Ann. Cuza Univ. 13: 91-104 (2003)
2002
3 Cristian Vidrascu, Toader Jucan: Concurrency-Degrees for Jumping Petri-Nets. Sci. Ann. Cuza Univ. 12: 135-150 (2002)
2001
2 Cristian Vidrascu: Some Applications of the Minimal Coverability. Sci. Ann. Cuza Univ. 10: 55-78 (2001)
2000
1 Cristian 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 © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)