Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/topnoc/SimonsenKK16
%A Simonsen, Kent Inge Fagerland
%A Kristensen, Lars Michael
%A Kindler, Ekkart
%B Trans. Petri Nets and Other Models of Concurrency
%D 2016
%E Koutny, Maciej
%E Desel, Jörg
%E Kleijn, Jetty
%I Springer
%J Trans. Petri Nets Other Model. Concurr.
%K dblp
%P 1-27
%T Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
%U http://dblp.uni-trier.de/db/journals/topnoc/topnoc11.html#SimonsenKK16
%V 11
%@ 978-3-662-53400-7
@article{journals/topnoc/SimonsenKK16,
added-at = {2020-03-13T00:00:00.000+0100},
author = {Simonsen, Kent Inge Fagerland and Kristensen, Lars Michael and Kindler, Ekkart},
biburl = {https://www.bibsonomy.org/bibtex/295706c6f38fca74ecf1f01c12c8e1614/dblp},
booktitle = {Trans. Petri Nets and Other Models of Concurrency},
crossref = {journals/topnoc/2016-11},
editor = {Koutny, Maciej and Desel, Jörg and Kleijn, Jetty},
ee = {https://www.wikidata.org/entity/Q54957335},
interhash = {cb5a816c2de43892cacc3ae51da0f82d},
intrahash = {95706c6f38fca74ecf1f01c12c8e1614},
isbn = {978-3-662-53400-7},
journal = {Trans. Petri Nets Other Model. Concurr.},
keywords = {dblp},
pages = {1-27},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-03-14T12:18:30.000+0100},
title = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.},
url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc11.html#SimonsenKK16},
volume = 11,
year = 2016
}