For the most recent entries see the Petri Nets Newsletter.

Methodologie de validation des systemes structures en couches par reseaux de Petri: application au protocole transport.

Cousin, Bernard

Thesis (Inform.), Univ. Paris 06. CNRS-T Bordereau, France, 1987.

Keywords: transport protocol; validation methodology (for) layered system.

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

Back to the Petri Nets Bibliography