Andrei Karatkevich

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

2 EE Andrei Karatkevich: Deadlock Analysis in Statecharts. FDL 2003: 414-425

2002

1 EE Andrei Karatkevich, Arkadij Zakrevskij: Analysis of Petri Nets by Means of Concurrent Simulation. PARELEC 2002: 87-91

2003
2	EE	Andrei Karatkevich: Deadlock Analysis in Statecharts. FDL 2003: 414-425
2002
1	EE	Andrei Karatkevich, Arkadij Zakrevskij: Analysis of Petri Nets by Means of Concurrent Simulation. PARELEC 2002: 87-91

Coauthor Index

1 Arkadij Zakrevskij [1]