| Method for Modeling and Verification of Real-Time Systems | |
|---|---|
| Author | |
| Year of Publication |
1996
|
| Academic Department |
Master's Thesis
|
| University |
Vanderbilt University
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |