[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS
Barjaktarovic, Milica, Chin, Shiu-Kai, Jabbour, KamalYear:
1996
Language:
english
DOI:
10.1145/229000.226325
File:
PDF, 820 KB
english, 1996