Andrei Karatkevich

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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]