English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
A verification method based on homomorphic model abstractions
Details
Full
Export
Statistics
Options
1994
Conference Paper
Titel
A verification method based on homomorphic model abstractions
Author(s)
Nitsche, U.
Hauptwerk
Thirteenth Annual ACM Symposium on Principles of Distributed Computing 1994. Proceedings
Konferenz
Symposium on Principles of Distributed Computing (PODC) 1994
DOI
10.1145/197917.198172
Language
English
google-scholar
View Details
Fraunhofer-Institut für Sichere Informationstechnologie SIT