For the most recent entries see the Petri Nets Newsletter.

Propositional Branching Time Temporal Logic in PROLOG.

Papapanagiotakis, G.; Azéma, P.; Pradin-Chezalviel, B.

In: Proc. of the Fifth Annual Int. Conf. on Computers and Communications'86, Scottsdale, USA, pages 371-377. 1986.

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

Back to the Petri Nets Bibliography