Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools.

For the most recent entries see the Petri Nets Newsletter.

Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools.

In: Yemini, Y.; Strom, R.; Yemini, S.: Protocol Specification, Testing and Verification IV, pages 3-18. Elsevier Science Publishers B. V. (North-Holland), IFIP, 1985.

Also in: Comput. Networks ISDN Syst., (The Netherlands), Vol. 10, No. 5, pages 245-257. 1985.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography