Normal view MARC view ISBD view

A Novel Approach to Verify Graph Schema-Based Software Systems

Rafe, Vahid Rahmani, Adel T.

A Novel Approach to Verify Graph Schema-Based Software Systems - 857-870 p.

Subjects--Topical Terms:
Model Checking
Graph Trans Formation Systems
Graph Schemas

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)