Faster Than Uppaal?

@inproceedings{Kupferschmid2008FasterTU,
  title={Faster Than Uppaal?},
  author={Sebastian Kupferschmid and Martin Wehrle and Bernhard Nebel and Andreas Podelski},
  booktitle={CAV},
  year={2008}
}
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…