Model checking of message sequence charts (1999)

View PDF

Download Links

by Rajeev Alur , Mihalis Yannakakis
Citations:148 - 6 self

Documents Related by Co-Citation

198 Inference of Message Sequence Charts – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2003
378 LSCs: Breathing Life into Message Sequence Charts – Werner Damm, David Harel - 2001
2300 The Unified Modeling Language User Guide – G Booch, J Rumbaugh, I Jacobson - 1998
54 Deciding Properties for Message Sequence Charts – Anca Muscholl, Doron Peled, Zhendong Su - 1998
2334 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
621 An automata-theoretic approach to automatic program verification – M Y Vardi, P Wolper - 1986
68 Syntactic detection of process divergence and non-local choice in message sequence charts – Hanene Ben-Abdallah, Stefan Leue - 1997
506 Automata on infinite objects – W Thomas - 1990
507 Real-time object-oriented modeling – B Selic, G Gullekson, P T Ward - 1994