Sciweavers

TACAS
2010
Springer

When Simulation Meets Antichains

13 years 10 months ago
When Simulation Meets Antichains
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Ho
Added 14 May 2010
Updated 14 May 2010
Type Conference
Year 2010
Where TACAS
Authors Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar
Comments (0)