![](/img/cover-not-exists.png)
Bounded Model Checking with Parametric Data Structures
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin SteffenVolume:
174
Year:
2007
Language:
english
Pages:
14
DOI:
10.1016/j.entcs.2006.12.019
File:
PDF, 375 KB
english, 2007