Composing Constraint Automata, State-by-State. Jongmans, S. T. Q., Kappé, T., & Arbab, F. In Braga, C. & Ölveczky, P. C., editors, FACS, volume 9539, of Lecture Notes in Computer Science, pages 217-236, 2015. Springer.
Link
Paper bibtex @inproceedings{conf/facs2/JongmansKA15,
added-at = {2016-01-29T00:00:00.000+0100},
author = {Jongmans, Sung-Shik T. Q. and Kappé, Tobias and Arbab, Farhad},
biburl = {http://www.bibsonomy.org/bibtex/22ad95aa72b4eadf766649cea867af862/dblp},
booktitle = {FACS},
crossref = {conf/facs2/2015},
editor = {Braga, Christiano and Ölveczky, Peter Csaba},
ee = {http://dx.doi.org/10.1007/978-3-319-28934-2_12},
interhash = {dbe93f8d18318cabb78ea39fd4e8105e},
intrahash = {2ad95aa72b4eadf766649cea867af862},
isbn = {978-3-319-28933-5},
keywords = {dblp},
pages = {217-236},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2016-01-30T11:38:13.000+0100},
title = {Composing Constraint Automata, State-by-State.},
url = {http://dblp.uni-trier.de/db/conf/facs2/facs2015.html#JongmansKA15},
volume = 9539,
year = 2015
}
Downloads: 0
{"_id":"nsjFakq4pcsehyuAM","bibbaseid":"jongmans-kapp-arbab-composingconstraintautomatastatebystate-2015","downloads":0,"creationDate":"2016-02-23T05:01:35.152Z","title":"Composing Constraint Automata, State-by-State.","author_short":["Jongmans, S. T. Q.","Kappé, T.","Arbab, F."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/tobias friedrich?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-29T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Jongmans"],"firstnames":["Sung-Shik","T.","Q."],"suffixes":[]},{"propositions":[],"lastnames":["Kappé"],"firstnames":["Tobias"],"suffixes":[]},{"propositions":[],"lastnames":["Arbab"],"firstnames":["Farhad"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/22ad95aa72b4eadf766649cea867af862/dblp","booktitle":"FACS","crossref":"conf/facs2/2015","editor":[{"propositions":[],"lastnames":["Braga"],"firstnames":["Christiano"],"suffixes":[]},{"propositions":[],"lastnames":["Ölveczky"],"firstnames":["Peter","Csaba"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-319-28934-2_12","interhash":"dbe93f8d18318cabb78ea39fd4e8105e","intrahash":"2ad95aa72b4eadf766649cea867af862","isbn":"978-3-319-28933-5","keywords":"dblp","pages":"217-236","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2016-01-30T11:38:13.000+0100","title":"Composing Constraint Automata, State-by-State.","url":"http://dblp.uni-trier.de/db/conf/facs2/facs2015.html#JongmansKA15","volume":"9539","year":"2015","bibtex":"@inproceedings{conf/facs2/JongmansKA15,\n added-at = {2016-01-29T00:00:00.000+0100},\n author = {Jongmans, Sung-Shik T. Q. and Kappé, Tobias and Arbab, Farhad},\n biburl = {http://www.bibsonomy.org/bibtex/22ad95aa72b4eadf766649cea867af862/dblp},\n booktitle = {FACS},\n crossref = {conf/facs2/2015},\n editor = {Braga, Christiano and Ölveczky, Peter Csaba},\n ee = {http://dx.doi.org/10.1007/978-3-319-28934-2_12},\n interhash = {dbe93f8d18318cabb78ea39fd4e8105e},\n intrahash = {2ad95aa72b4eadf766649cea867af862},\n isbn = {978-3-319-28933-5},\n keywords = {dblp},\n pages = {217-236},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2016-01-30T11:38:13.000+0100},\n title = {Composing Constraint Automata, State-by-State.},\n url = {http://dblp.uni-trier.de/db/conf/facs2/facs2015.html#JongmansKA15},\n volume = 9539,\n year = 2015\n}\n\n","author_short":["Jongmans, S. T. Q.","Kappé, T.","Arbab, F."],"editor_short":["Braga, C.","Ölveczky, P. C."],"key":"conf/facs2/JongmansKA15","id":"conf/facs2/JongmansKA15","bibbaseid":"jongmans-kapp-arbab-composingconstraintautomatastatebystate-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-28934-2_12","Paper":"http://dblp.uni-trier.de/db/conf/facs2/facs2015.html#JongmansKA15"},"keyword":["dblp"],"downloads":0},"search_terms":["composing","constraint","automata","state","state","jongmans","kappé","arbab"],"keywords":["dblp"],"authorIDs":[],"dataSources":["oHoup8Tse8r9DcDBh"]}