Program Sketching via {CTL*} Model Checking
Type of publication: | Inproceedings |
Citation: | mosc11b |
Booktitle: | Model Checking Software (SPIN) |
Series: | LNCS |
Volume: | 6823 |
Year: | 2011 |
Pages: | 126-143 |
Publisher: | Springer |
Address: | Snowbird, Utah, USA |
Key (?): | MoSc11b |
Userfields: | date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, remark={rsg}, |
Keywords: | |
Authors | |
Editors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|