Normal view MARC view ISBD view

Automatic Analysis and Test Case Derivation for a Restricted Class of Lotos Expressions with Data Parameters

Higashino, Teruo Bochmann, Gregor V.

Automatic Analysis and Test Case Derivation for a Restricted Class of Lotos Expressions with Data Parameters - 29-42 p.

Subjects--Topical Terms:
Automatic Test Case Derivation
Protocol Models
Lotos

Print
Request article
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)