Sign In

Login

Password

Forgot Password ? Sign Up

Romeo Model Checker (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Romeo Model Checker" in English language version.

refsWebsite
Global rank English rank
2ls2n.fr
low place
low place

ls2n.fr

pagesperso.ls2n.fr

  • Gardey, G; Lime, D; Magnin, M; Roux, OH. "Roméo: A tool for analyzing time Petri nets". In 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, pages 418-423, Edinburgh, Scotland, UK, July 2005. Springer.
  • Lime, D; Roux, OH; Seidner, C; Traonouez, LM. "Romeo: A parametric model-checker for Petri nets with stopwatches". In 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), volume 5505 of Lecture Notes in Computer Science, pages 54-57, York, United Kingdom, March 2009. Springer.