For the most recent entries see the Petri Nets Newsletter.

Description and Verification Method of Asynchronous Cooperation Between Microprogrammed Units.

Gondzio, M.; Rudkowski, S.

In: Proc. of the 3rd Symp. on Microcomputer and Microprocessor Application, Vol. 2, pages 895-908. Budapest: OMIKK Technoinform, 1983.

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

Back to the Petri Nets Bibliography