Treffer: Model Checking
Title:
Model Checking
Authors:
Source:
2011 Workshop-School on Theoretical Computer Science Theoretical Computer Science (WEIT), 2011 Workshop-School on. :9-14 Aug, 2011
Relation:
2011 Workshop-School on Theoretical Computer Science (WEIT)
Database:
IEEE Xplore Digital Library