Amanote Research
Register
Sign In
The Formal, Tool Supported Development of Real Time Systems
doi 10.1109/sefm.2004.1347543
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
R.O. Sinnott
Publisher
IEEE
