English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Specifying and verifying reactive systems in a multi-language environment
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2001
Conference Paper
Title
Specifying and verifying reactive systems in a multi-language environment
Author(s)
Merceron, A.
Müllerburg, M.
Pinna, G.M.
Mainwork
TOSCA 2001 - Theory of Concurrency, Higher Order Languages and Types
Conference
Workshop in Theory of Concurrency, Higher Order Languages and Types (TOSCA) 2001
Language
English
AIS
