"Sequence-Based Software Specification of Deterministic Systems."

Stacy J. Prowell, Jesse H. Poore (1998)

Details and statistics

DOI: 10.1002/(SICI)1097-024X(199803)28:3<329::AID-SPE157>3.0.CO;2-H

access: closed

type: Journal Article

metadata version: 2020-04-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics