English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Abstraction and composition - A verification method for cooperating systems
Details
Full
Export
Statistics
Options
2000
Journal Article
Titel
Abstraction and composition - A verification method for cooperating systems
Author(s)
Ochsenschläger, P.
Repp, J.
Rieke, R.
Zeitschrift
Journal of experimental & theoretical artificial intelligence
DOI
10.1080/095281300454829
Language
English
google-scholar
View Details
Fraunhofer-Institut fĂĽr Sichere Informationstechnologie SIT