Turning high-level live sequence charts into automata

Technical Report PDF: 
Technical Report Number: 
2002.39
TitleTurning high-level live sequence charts into automata
Publication TypeConference Paper
Year of Publication2002
AuthorsBontemps, Y, Heymans P
Conference NameICSE