Mikhail Mashukov

List of publications from the DBLP Bibliography Server - FAQ

2008

1 EE Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov: Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR 2008: 360-371

2008
1	EE	Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov: Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR 2008: 360-371

Coauthor Index

1	Dmitri M. Beloglazov	[1]
2	Tatiana G. Churina	[1]
3	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[1]