Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Abstraction and composition - A verification method for cooperating systems

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

:

Journal of experimental & theoretical artificial intelligence 12 (2000), Nr.4, S.447-459
ISSN: 0952-813X
Englisch
Zeitschriftenaufsatz
Fraunhofer SIT ()

: http://publica.fraunhofer.de/dokumente/N-38896.html