Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 1998
Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H.
(1998)
An Algebraic Semantics for Message Sequence Chart Documents.
In: Formal Decription Techniques (FORTE).
pp. 3-18.
IFIP Conference Proceedings 135.
Chapman & Hall.
ISBN 0-412-84760-4
1995
Tretmans, G.J.
(1995)
Testing Labelled Transition Systems with Inputs and Outputs.
In: Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session, 4-6 Sept 1995, Evry, France.
pp. 461-476.
Institut National des Télécommunications.
ISBN not assigned
This list was generated on Thu May 24 05:43:46 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||