For the most recent entries see the
Petri Nets Newsletter.
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
Iliasov, Alexei;
Khomenko, Victor;
Koutny, Maciej;
Romanovsky, Alexander
In:
Rigorous Development of Complex Fault-Tolerant Systems, pages 168-188.
2006.
URL: http://dx.doi.org/10.1007/119162469.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography