Andrei Karatkevich

	2011
4		Andrei Karatkevich: Petri Net based Approach to Test Bench Constructing for Datapath. PECCS 2011: 506-511
	2008
3		Andrei Karatkevich: On macroplaces in Petri nets. EWDTS 2008: 418-422
	2003
2		Andrei Karatkevich: Deadlock Analysis in Statecharts. FDL 2003: 414-425
	2002
1		Andrei Karatkevich, Arkadij Zakrevskij: Analysis of Petri Nets by Means of Concurrent Simulation. PARELEC 2002: 87-91

Coauthor Index

1

Arkadij Zakrevskij

[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page