Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

True Concurrency in LOTOS

Poster Abstract
 
: Schieferdecker, I.K.

Dembinski, P.:
International Conference on Protocol Specification, Testing and Verification, PSTV '95. Proceedings : Warschau, 13.-16. Juni, 1995
Warschau: Polish Academy of Science, 1995
S.451-454
International Symposium on Protocol Specification, Testing and Verification (PSTV) <15, 1995, Warsaw>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

: http://publica.fraunhofer.de/dokumente/950410.html