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 |