|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Reactive and Proactive Diagnosis of Distributed Systems using Net Unfoldings
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Javier Esparza and Christian Kern. Reactive and proactive diagnosis of distributed systems using net unfoldings. In ACSD, 2012. To appear.
Suggested BibTeX entry:
@inproceedings{ACSDKERN,
author = {Javier Esparza and Christian Kern},
booktitle = {ACSD},
note = {To appear},
title = {Reactive and Proactive Diagnosis of Distributed Systems using Net Unfoldings},
year = {2012}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|