For the most recent entries see the
Petri Nets Newsletter.
Keyword: LAPD protocol
-
Faure, C.;
Juanole, G.;
Vernadat, F.:
LAPD protocol at the ISDN Interface: Formal Modeling with Petri Nets Based Models and Verification by Abstraction (Strings, Observational and Behavioral Equivalences).
1990.
-
Shatz, S.M.;
Kajka, P.S.;
Chauhan, A.S.:
Formal Modeling and Automated Analysis of the LAPD Protocol.
1990.
-
Suzuki, Toshinoro;
Shatz, Sol M.;
Murata, Tadao:
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography