Introducing Time in an Industrial Application of Model-Checking

L. V. D. Berg,P. Strooper,Kirsten Winter
DOI: https://doi.org/10.1007/978-3-540-79707-4_6
2007-07-01
Abstract:
What problem does this paper attempt to address?