| Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods | |
|---|---|
| Author | |
| Year of Publication |
2003
|
| Academic Department |
PhD Dissertation
|
| Date Published |
May
|
| University |
Vanderbilt University
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |