A Framework Based on Implementation Relations for Implementing LOTOS Specifications

Computer Networks and ISDN Systems
doi 10.1016/0169-7552(92)90122-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV