{"_id":"pSJd6cD7cBBCWaavd","bibbaseid":"kellett-fisher-automatarepresentationsforconcurrentmetatem-1997","downloads":0,"creationDate":"2016-05-26T11:21:07.676Z","title":"Automata Representations for Concurrent METATEM","author_short":["Kellett, A.","Fisher, M."],"year":1997,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Adam"],"propositions":[],"lastnames":["Kellett"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"Automata Representations for Concurrent METATEM","booktitle":"4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997","pages":"12–19","year":"1997","crossref":"DBLP:conf/time/1997","url":"https://doi.org/10.1109/TIME.1997.600776","doi":"10.1109/TIME.1997.600776","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/time/KellettF97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/time/KellettF97,\n author = {Adam Kellett and\n Michael Fisher},\n title = {Automata Representations for Concurrent {METATEM}},\n booktitle = {4th International Workshop on Temporal Representation and Reasoning,\n {TIME} '97, Daytona Beach, Florida, USA, May 10-11, 1997},\n pages = {12--19},\n year = {1997},\n crossref = {DBLP:conf/time/1997},\n url = {https://doi.org/10.1109/TIME.1997.600776},\n doi = {10.1109/TIME.1997.600776},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/time/KellettF97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Kellett, A.","Fisher, M."],"key":"DBLP:conf/time/KellettF97","id":"DBLP:conf/time/KellettF97","bibbaseid":"kellett-fisher-automatarepresentationsforconcurrentmetatem-1997","role":"author","urls":{"Paper":"https://doi.org/10.1109/TIME.1997.600776"},"downloads":0,"html":""},"search_terms":["automata","representations","concurrent","metatem","kellett","fisher"],"keywords":["dblp"],"authorIDs":["54795f1c8a7c93e0600008be"],"dataSources":["dNrJbhueP34xdF85Y"]}