On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets.

Guy Juanole, C. Faure

Browse the full INFOCOM paper archive.