Publication:
Notes on Model Checking and Abstraction in Rewriting Logic

Loading...
Thumbnail Image
Full text at PDC
Publication Date
2003-12-08
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
Abstract
Description
Unesco subjects
Keywords
Citation
Collections