Proceedings of the 19th international conference on Computer aided verification
Authors:
Werner Damm;Holger Hermanns
Affiliations:
Carl von Ossietzky University Oldenburg, Department of Computer Science, Oldenburg, Germany;Saarland University, Department of Computer Science, Saarbrücken, Germany
Venue:
CAV'07 Proceedings of the 19th international conference on Computer aided verification