Mikhail Mashukov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 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		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]