Introducing Time in an Industrial Application of Model-Checking.

Lionel van den Berg, Paul A. Strooper, Kirsten Winter

Browse the full FMICS paper archive.