Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning
| Title | Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Benedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M |
| Editor | Grumberg, O, Huth, M |
| Conference Name | {P}roceedings of the 13th {I}nternational {C}onference on {T}ools and {A}lgorithms for {C}onstruction and {A}nalysis of {S}ystems ({TACAS}'07) |
| Series | Lecture Notes in Computer Science |
| Volume | 4424 |
| Publisher | Springer |
| Conference Location | Braga, Portugal |
| URL | http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BKKL-tacas07.pdf |
Bibtex:
@inproceedings {BKKL-tacas07,
title = {Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning},
booktitle = {{P}roceedings of the 13th {I}nternational {C}onference on {T}ools and {A}lgorithms for {C}onstruction and {A}nalysis of {S}ystems ({TACAS}{\textquoteright}07)},
series = {Lecture Notes in Computer Science},
volume = {4424},
year = {2007},
publisher = {Springer},
organization = {Springer},
address = {Braga, Portugal},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BKKL-tacas07.pdf},
author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker},
editor = {Orna Grumberg and Huth, Michael}
}PDF:
Postscript:
