Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic (2000)
by
Peter Csaba Ölveczky
| Citations: | 10 - 3 self |
BibTeX
@TECHREPORT{Ölveczky00specificationand,
author = {Peter Csaba Ölveczky},
title = {Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic},
institution = {},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
2 Dedicated with affection to my beloved parents Cecilia and Miklós 3 4
