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