English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Verification and behaviour abstraction - towards a tractable verification technique for large distributed systems
Details
Full
Export
Statistics
Options
1996
Journal Article
Titel
Verification and behaviour abstraction - towards a tractable verification technique for large distributed systems
Author(s)
Nitsche, U.
Zeitschrift
The Journal of systems and software
DOI
10.1016/0164-1212(96)00026-X
Language
English
google-scholar
View Details
Fraunhofer-Institut für Sichere Informationstechnologie SIT