English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
The formal description technique Lotos
Details
Publications
Statistics
Options
Show all metadata (technical view)
Title
The formal description technique Lotos
Title Supplement
Results of the ESPRIT/SEDOS Project
Show more
Person Involved
Publisher
North-Holland
Publishing Place
Amsterdam
Publication Date
1989
ISBN
0-444-87267-1
