English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Real-timed concurrent refineable behaviours
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1992
Conference Paper
Title
Real-timed concurrent refineable behaviours
Author(s)
Murphy, D.
Pitt, D.H.
Mainwork
Formal techniques in real-time and fault-tolerant systems
Conference
International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems 1992
DOI
10.1007/3-540-55092-5_29
Language
English
GMD
