2006
Some Remarks on Definability of Process Graphs
Publication
Publication
Presented at the
International Conference on Application of Concurrency to System Design
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Conference on Application of Concurrency to System Design | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Grabmayer, C. A., Klop, J. W., & Luttik, B. (2006). Some Remarks on Definability of Process Graphs. In LNCS (pp. 16–36). Springer. |
|