Learning Stochastic Timed Automata from Sample Executions. de Matos<nbsp>Pedro, A., Crocker, Andrew, P., de Sousa, & Melo, S. In Margaria, T. & Steffen, B., editors, ISoLA (1), volume 7609, of Lecture Notes in Computer Science, pages 508-523, 2012. Springer. Paper Link bibtex @inproceedings{ conf/isola/PedroCS12,
added-at = {2012-09-26T00:00:00.000+0200},
author = {de Matos Pedro, André and Crocker, Paul Andrew and de Sousa, Simão Melo},
biburl = {http://www.bibsonomy.org/bibtex/20b9652ec56d9e136e999ae4f885955d2/dblp},
booktitle = {ISoLA (1)},
crossref = {conf/isola/2012-1},
editor = {Margaria, Tiziana and Steffen, Bernhard},
ee = {http://dx.doi.org/10.1007/978-3-642-34026-0_38},
interhash = {b78b6a95e35a9cdc9a9061d973138635},
intrahash = {0b9652ec56d9e136e999ae4f885955d2},
isbn = {978-3-642-34025-3},
keywords = {dblp},
pages = {508-523},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Learning Stochastic Timed Automata from Sample Executions.},
url = {http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#PedroCS12},
volume = {7609},
year = {2012}
}
Downloads: 0
{"_id":{"_str":"53f4713d3d9d602c1a000ff6"},"__v":0,"authorIDs":[],"author_short":["de<nbsp>Matos<nbsp>Pedro, A.","Crocker","Andrew, P.","de<nbsp>Sousa","Melo, S."],"bibbaseid":"denbspmatosnbsppedro-crocker-andrew-denbspsousa-melo-learningstochastictimedautomatafromsampleexecutions-2012","bibdata":{"html":"","downloads":0,"keyword":["dblp"],"urls":{"Paper":"http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#PedroCS12","Link":"http://dx.doi.org/10.1007/978-3-642-34026-0_38"},"role":"author","bibbaseid":"denbspmatosnbsppedro-crocker-andrew-denbspsousa-melo-learningstochastictimedautomatafromsampleexecutions-2012","year":"2012","volume":"7609","url":"http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#PedroCS12","type":"inproceedings","title":"Learning Stochastic Timed Automata from Sample Executions.","series":"Lecture Notes in Computer Science","publisher":"Springer","pages":"508-523","keywords":"dblp","key":"conf/isola/PedroCS12","isbn":"978-3-642-34025-3","intrahash":"0b9652ec56d9e136e999ae4f885955d2","interhash":"b78b6a95e35a9cdc9a9061d973138635","id":"conf/isola/PedroCS12","ee":"http://dx.doi.org/10.1007/978-3-642-34026-0_38","editor_short":["Margaria, T.","Steffen, B."],"editor":["Margaria, Tiziana","Steffen, Bernhard"],"crossref":"conf/isola/2012-1","booktitle":"ISoLA (1)","biburl":"http://www.bibsonomy.org/bibtex/20b9652ec56d9e136e999ae4f885955d2/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/isola/PedroCS12,\n added-at = {2012-09-26T00:00:00.000+0200},\n author = {de Matos Pedro, André and Crocker, Paul Andrew and de Sousa, Simão Melo},\n biburl = {http://www.bibsonomy.org/bibtex/20b9652ec56d9e136e999ae4f885955d2/dblp},\n booktitle = {ISoLA (1)},\n crossref = {conf/isola/2012-1},\n editor = {Margaria, Tiziana and Steffen, Bernhard},\n ee = {http://dx.doi.org/10.1007/978-3-642-34026-0_38},\n interhash = {b78b6a95e35a9cdc9a9061d973138635},\n intrahash = {0b9652ec56d9e136e999ae4f885955d2},\n isbn = {978-3-642-34025-3},\n keywords = {dblp},\n pages = {508-523},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Learning Stochastic Timed Automata from Sample Executions.},\n url = {http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#PedroCS12},\n volume = {7609},\n year = {2012}\n}","author_short":["de<nbsp>Matos<nbsp>Pedro, A.","Crocker","Andrew, P.","de<nbsp>Sousa","Melo, S."],"author":["de Matos Pedro, André","Crocker","Andrew, Paul","de Sousa","Melo, Simão"],"added-at":"2012-09-26T00:00:00.000+0200"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Melo?items=1000","creationDate":"2014-08-20T09:58:21.087Z","downloads":0,"keywords":["dblp"],"search_terms":["learning","stochastic","timed","automata","sample","executions","de<nbsp>matos<nbsp>pedro","crocker","andrew","de<nbsp>sousa","melo"],"title":"Learning Stochastic Timed Automata from Sample Executions.","year":2012,"dataSources":["aQGcfqSy5GLivCyrC"]}