Lsc’s: Breathing Life Into Message Sequence Charts

This publication has 10 references indexed in Scilit:

• An OBDD-representation of statecharts
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A Compositional Real-time Semantics of STATEMATE Designs
  Published by Springer Nature ,1998
• Tamagotchis need not die — Verification of statemate designs
  Published by Springer Nature ,1998
• Using a visual formalism for design verification in industrial environments
  Published by Springer Nature ,1998
• Executable object modeling with statecharts
  Computer, 1997
• Verifying Out-of-Order Executions
  Published by Springer Nature ,1997
• Interpreting Message Flow Graphs
  Formal Aspects of Computing, 1995
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Sequential circuit verification using symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987