| Towards Two-Level Formal Modeling of Computer-Based Systems | |
|---|---|
| Author | |
| Year of Publication |
2000
|
| Journal |
Journal of Universal Computer Science
|
| Volume |
6
|
| Number of Pages |
1131--1144
|
| Date Published |
November
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |