"Satellite Protocol Modeling by Synchronous Predicate Transition Nets."

Pascal Estraillier, Claude Girault, Jean-Michel Ilié (1985)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2015-09-18

a service of  Schloss Dagstuhl - Leibniz Center for Informatics