Timed Automata Semantics for Analyzing Creol. Jaghoori, M. M. & Chothia, T. In Mousavi, M. R. & Salaün, G., editors, FOCLASA, volume 30, of EPTCS, pages 108-122, 2010. Link Paper bibtex @inproceedings{journals/corr/abs-1007-5095,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Jaghoori, Mohammad Mahdi and Chothia, Tom},
biburl = {https://www.bibsonomy.org/bibtex/2831b69862928853a92a7cc6a810f4167/dblp},
booktitle = {FOCLASA},
crossref = {journals/corr/abs-1007-4993},
editor = {Mousavi, Mohammad Reza and Salaün, Gwen},
ee = {http://arxiv.org/abs/1007.5095},
interhash = {a6745fb7885b4c7c51f7ba8680c61a17},
intrahash = {831b69862928853a92a7cc6a810f4167},
keywords = {dblp},
pages = {108-122},
series = {EPTCS},
timestamp = {2018-08-14T15:29:39.000+0200},
title = {Timed Automata Semantics for Analyzing Creol},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs30.html#abs-1007-5095},
volume = 30,
year = 2010
}
Downloads: 0
{"_id":"k5RRkFBXBiL7HNS3K","bibbaseid":"jaghoori-chothia-timedautomatasemanticsforanalyzingcreol-2010","downloads":0,"creationDate":"2018-08-20T17:47:15.587Z","title":"Timed Automata Semantics for Analyzing Creol","author_short":["Jaghoori, M. M.","Chothia, T."],"year":2010,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/tom?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Jaghoori"],"firstnames":["Mohammad","Mahdi"],"suffixes":[]},{"propositions":[],"lastnames":["Chothia"],"firstnames":["Tom"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2831b69862928853a92a7cc6a810f4167/dblp","booktitle":"FOCLASA","crossref":"journals/corr/abs-1007-4993","editor":[{"propositions":[],"lastnames":["Mousavi"],"firstnames":["Mohammad","Reza"],"suffixes":[]},{"propositions":[],"lastnames":["Salaün"],"firstnames":["Gwen"],"suffixes":[]}],"ee":"http://arxiv.org/abs/1007.5095","interhash":"a6745fb7885b4c7c51f7ba8680c61a17","intrahash":"831b69862928853a92a7cc6a810f4167","keywords":"dblp","pages":"108-122","series":"EPTCS","timestamp":"2018-08-14T15:29:39.000+0200","title":"Timed Automata Semantics for Analyzing Creol","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs30.html#abs-1007-5095","volume":"30","year":"2010","bibtex":"@inproceedings{journals/corr/abs-1007-5095,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Jaghoori, Mohammad Mahdi and Chothia, Tom},\n biburl = {https://www.bibsonomy.org/bibtex/2831b69862928853a92a7cc6a810f4167/dblp},\n booktitle = {FOCLASA},\n crossref = {journals/corr/abs-1007-4993},\n editor = {Mousavi, Mohammad Reza and Salaün, Gwen},\n ee = {http://arxiv.org/abs/1007.5095},\n interhash = {a6745fb7885b4c7c51f7ba8680c61a17},\n intrahash = {831b69862928853a92a7cc6a810f4167},\n keywords = {dblp},\n pages = {108-122},\n series = {EPTCS},\n timestamp = {2018-08-14T15:29:39.000+0200},\n title = {Timed Automata Semantics for Analyzing Creol},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs30.html#abs-1007-5095},\n volume = 30,\n year = 2010\n}\n\n","author_short":["Jaghoori, M. M.","Chothia, T."],"editor_short":["Mousavi, M. R.","Salaün, G."],"key":"journals/corr/abs-1007-5095","id":"journals/corr/abs-1007-5095","bibbaseid":"jaghoori-chothia-timedautomatasemanticsforanalyzingcreol-2010","role":"author","urls":{"Link":"http://arxiv.org/abs/1007.5095","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs30.html#abs-1007-5095"},"keyword":["dblp"],"downloads":0},"search_terms":["timed","automata","semantics","analyzing","creol","jaghoori","chothia"],"keywords":["dblp"],"authorIDs":[],"dataSources":["NyBbkYhtYKHg8fY2r"]}