Biblio

Export 1 results:
Filters: Author is Jiri Simsa  [Clear All Filters]
2010
Simsa J, Bryant R, Gibson G.  2010.  dBug: Systematic Evaluation of Distributed Systems. 5th International Workshop on Systems Software Verification (SSV 10).