[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 ||
Bouajjani, Ahmed, Maler, OdedVolume:
10.1007/97
Année:
2009
Langue:
english
DOI:
10.1007/978-3-642-02658-4
Fichier:
PDF, 10.22 MB
english, 2009