For the most recent entries see the Petri Nets Newsletter.

Erfahrungen mit Netzen auf dem Gebiet der Verifikation von Kommunikationsprotokollen.

Eckert, Hans; Prinoth, Rainer

In: Newsletter No. 13, pages 13-19. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, February 1983. In German.

Keywords: verification (of) communication protocol.

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

Back to the Petri Nets Bibliography