Introducing Time in an Industrial Application of Model-Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lionel van den Berg, Paul A. Strooper, Kirsten Winter. Introducing Time in an Industrial Application of Model-Checking. In Stefan Leue, Pedro Merino, editors, Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Volume 4916 of Lecture Notes in Computer Science, pages 56-67, Springer, 2007. [doi]

This author has not been identified. Look up 'Lionel van den Berg' in GoogleThis author has not been identified. Look up 'Paul A. Strooper' in GoogleThis author has not been identified. Look up 'Kirsten Winter' in Google

runs on WebDSL