For the most recent entries see the Petri Nets Newsletter.

Performability Evaluation of the Certification Trail Method Using UltraSAN.

He, Y.; Tai, A. T.; Avizienis, A.

In: Proceedings of the International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability, Beijing, China, pages 139-144. July 1996.


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

Back to the Petri Nets Bibliography