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