Some Remarks on ``Specification and Validation of Protocols by Temporal Logic and Nets'' by M. Diaz and G. G. da Silveira.

For the most recent entries see the Petri Nets Newsletter.

Tech. Univ. of Helsinki, Digital Systems Lab., Research Report, 1984.

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