Assertional verification of a reset algorithm
Publication date
1988
Authors
Drost, M.R.
Schoone, A.A.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Drost, M R & Schoone, A A 1988, Assertional verification of a reset algorithm. vol. 88-05, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-88-05.html >