Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Abstraction and verification of cooperating systems

 
: Ochsenschläger, P.; Repp, J.; Rieke, R.

GMD-Forschungszentrum Informationstechnik GmbH, Sankt Augustin:
25 years GMD Darmstadt
Sankt Augustin: GMD Forschungszentrum Informationstechnik, 1999
S.52-55
Englisch
Aufsatz in Buch
Fraunhofer SIT ()

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