For the most recent entries see the Petri Nets Newsletter.

Using State Space Methods for Deadlock Analysis in Ada Tasking.

Duri, S.; Buy, U.; Devarapalli, R.; Shatz, S.M.

In: Proc. of the Int. Symposium on Software Testing and Analysis, pages 51-60. 1993.

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

Back to the Petri Nets Bibliography