Home

Bernard__Stepien


Representing and verifying intentions in telephony features using abstract data types

Status-Oriented Telephone Service Specification: An Exercise in LOTOS Style