Peter Bulychev Vis

*	2009
1	EE	Peter Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen: Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87

Coauthor Index

1	Thomas Chatain	[1]
2	Alexandre David	[1]
3	Kim Guldstrand Larsen	[1]