hide
Title:
Proceedings of the 10th International Workshop Automatic Verification of Critical Systems
Abbreviation
:
AVOCS 2010
Source Genre:
Proceedings
Creator(s):
Bendisposto, Jens1, Editor
Leuschel, Michael1, Editor
Roggenbach, Markus1, Editor
Affiliations:
1
External Organizations, ou_persistent22
Publ. Info:
Düsseldorf : Universität Düsseldorf
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
19 - 21
Identifier:
-