Journals in DBLP
Ed Brinksma , Giuseppe Scollo , Chris A. Vissers Introduction to the PSTV-IX. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:1-6 [Journal ] Barry S. Bosik , M. Ümit Uyar Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:7-33 [Journal ] Gérard Berry , Georges Gonthier Incremental Development of an HDLC Entity in Esterel. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:35-49 [Journal ] Susan C. Murphy , Per Gunningberg , John P. J. Kelly Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:51-59 [Journal ] Tommaso Bolognesi , Olof Hagsand , Diego Latella , Björn Pehrson The Definition of a Graphical G-LOTOS Editor Using the Meta-Tool LOGGIE. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:61-77 [Journal ]