Sciweavers

ATVA
2006
Springer

Sigref- A Symbolic Bisimulation Tool Box

14 years 3 months ago
Sigref- A Symbolic Bisimulation Tool Box
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kel
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATVA
Authors Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
Comments (0)