For the most recent entries see the
Petri Nets Newsletter
Keyword: link access procedure
LAPD protocol at the ISDN Interface: Formal Modeling with Petri Nets Based Models and Verification by Abstraction (Strings, Observational and Behavioral Equivalences).
Formal Modeling and Automated Analysis of the LAPD Protocol.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography