English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
The SH-Verification Tool, Abstraction-Based Verification of Co-operating Systems, Formal Aspects of Computing
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1999
Journal Article
Title
The SH-Verification Tool, Abstraction-Based Verification of Co-operating Systems, Formal Aspects of Computing
Author(s)
Ochsenschläger, P.
Repp, J.
Rieke, R.
Nitsche, U.
Journal
Formal methods in system design
Language
English
Fraunhofer-Institut für Sichere Informationstechnologie SIT
Keyword(s)
formal model
