pdf-format: |
|
@InProceedings{benes_et_al:OASIcs:2011:3070, author = {Nikola Benes and Jan Kretinsky}, title = {{Process Algebra for Modal Transition Systemses}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {9--18}, series = {OpenAccess Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Ludek Matyska and Michal Kozubek and Tom{\'a}{\v{s}} Vojnar and Pavel Zemc{\'i}k and David Antos}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2011/3070}, URN = {urn:nbn:de:0030-drops-30701}, doi = {10.4230/OASIcs.MEMICS.2010.9}, annote = {Keywords: modal transition systems, process algebra, specification} }
Keywords: | modal transition systems, process algebra, specification | |
Seminar: | Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers | |
Issue date: | 2011 | |
Date of publication: | 11.03.2011 |