[BibTeX] [RIS]
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 Morgenstern, A.
Schneider, K.
Editors Groce, A.
Musuvathi, M.
Attachments
    Notes
      Topics