Diagrammatic Specification of Mobile Real-Time Systems. Linker, S. In Goel, A. K., Jamnik, M., & Narayanan, N. H., editors, Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings, volume 6170, of Lecture Notes in Computer Science, pages 316–318, 2010. Springer.
Paper doi bibtex @inproceedings{DBLP:conf/diagrams/Linker10,
author = {Sven Linker},
editor = {Ashok K. Goel and
Mateja Jamnik and
N. Hari Narayanan},
title = {Diagrammatic Specification of Mobile Real-Time Systems},
booktitle = {Diagrammatic Representation and Inference, 6th International Conference,
Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6170},
pages = {316--318},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14600-8\_40},
doi = {10.1007/978-3-642-14600-8\_40},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/diagrams/Linker10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"yPKvax7myPJYhaMDs","bibbaseid":"linker-diagrammaticspecificationofmobilerealtimesystems-2010","author_short":["Linker, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]}],"editor":[{"firstnames":["Ashok","K."],"propositions":[],"lastnames":["Goel"],"suffixes":[]},{"firstnames":["Mateja"],"propositions":[],"lastnames":["Jamnik"],"suffixes":[]},{"firstnames":["N.","Hari"],"propositions":[],"lastnames":["Narayanan"],"suffixes":[]}],"title":"Diagrammatic Specification of Mobile Real-Time Systems","booktitle":"Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings","series":"Lecture Notes in Computer Science","volume":"6170","pages":"316–318","publisher":"Springer","year":"2010","url":"https://doi.org/10.1007/978-3-642-14600-8\\_40","doi":"10.1007/978-3-642-14600-8_40","timestamp":"Fri, 27 Dec 2019 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/diagrams/Linker10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/diagrams/Linker10,\n author = {Sven Linker},\n editor = {Ashok K. Goel and\n Mateja Jamnik and\n N. Hari Narayanan},\n title = {Diagrammatic Specification of Mobile Real-Time Systems},\n booktitle = {Diagrammatic Representation and Inference, 6th International Conference,\n Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {6170},\n pages = {316--318},\n publisher = {Springer},\n year = {2010},\n url = {https://doi.org/10.1007/978-3-642-14600-8\\_40},\n doi = {10.1007/978-3-642-14600-8\\_40},\n timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/diagrams/Linker10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Linker, S."],"editor_short":["Goel, A. K.","Jamnik, M.","Narayanan, N. H."],"key":"DBLP:conf/diagrams/Linker10","id":"DBLP:conf/diagrams/Linker10","bibbaseid":"linker-diagrammaticspecificationofmobilerealtimesystems-2010","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-14600-8\\_40"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["diagrammatic","specification","mobile","real","time","systems","linker"],"title":"Diagrammatic Specification of Mobile Real-Time Systems","year":2010}