For the most recent entries see the
Petri Nets Newsletter
.
Keyword: link access procedure
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.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography