|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Modal Process Rewrite Systems
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Nikola Benes and Jan Kretinsky. Modal process rewrite systems. In Roychoudhury and D'Souza, pages 120–135.
Suggested BibTeX entry:
@inproceedings{DBLP:confictacBenesK12,
author = {Nikola Benes and Jan Kretinsky},
booktitle = {ICTAC},
editor = {Abhik Roychoudhury and Meenakshi D'Souza},
pages = {120-135},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Modal Process Rewrite Systems},
volume = {7521},
year = {2012}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|