Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning

TitleReplaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning
Publication TypeConference Paper
Year of Publication2007
AuthorsBenedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M
EditorGrumberg, 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)
SeriesLecture Notes in Computer Science
Volume4424
PublisherSpringer
Conference LocationBraga, Portugal
URLhttp://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}
}
Postscript: