|
СТ |
Specification and Analysis of Fault Behaviours Using Graph Grammars |
2004 |
Dotti F. L., Ribeiro L., Dos Santos O. M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
15.09.2004 |
|
СТ |
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars |
2003 |
Baldan P., Corradini A., Montanari U., Ribeiro L. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Towards Object-Oriented Graphs and Grammars |
2003 |
Ferreira A.P. L., Ribeiro L. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
Verification of Disributed Object-Based Systems |
2003 |
Dotti F. L., Foss L., Ribeiro L., Dos Santos O. M. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
Algebraic High Level Nets: Petri Nets Revisited |
1994 |
Ehrig H., Padberg J., Ribeiro L. |
|
|
|
Lecture Notes in Computer Science |
04.06.1994 |
