![](/img/cover-not-exists.png)
Generation of multi-formalism state-space analysis tools
Pezzè, Mauro, Young, MichalVolume:
21
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/226295.226314
Date:
May, 1996
File:
PDF, 714 KB
english, 1996