Paper Info
Title
Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen
Year
DOI
Venue
1999
10.1007/978-3-662-01069-3_28
GI Jahrestagung
Keywords
Field
DocType
message sequence chart
Computer science,Operating system
Conference
Citations 
PageRank 
References 
0
0.34
2
Authors
1
Name
Order
Citations
PageRank
Jochen Klose115110.10