| On the use of Graph Transformations in the Formal Specification of Computer-Based Systems | |
|---|---|
| Author | |
| Year of Publication |
2003
|
| Conference Name |
IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
|
| Date Published |
April
|
| Conference Location |
Huntsville, Alabama
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |