Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/topnoc/WestergaardK12
%A Westergaard, Michael
%A Kristensen, Lars Michael
%B Trans. Petri Nets and Other Models of Concurrency
%D 2012
%E Jensen, Kurt
%E Donatelli, Susanna
%E Kleijn, Jetty
%I Springer
%J Trans. Petri Nets Other Model. Concurr.
%K dblp
%P 265-291
%T A Graphical Approach to Component-Based and Extensible Model Checking Platforms.
%U http://dblp.uni-trier.de/db/journals/topnoc/topnoc5.html#WestergaardK12
%V 5
%@ 978-3-642-29071-8
@article{journals/topnoc/WestergaardK12,
added-at = {2020-03-13T00:00:00.000+0100},
author = {Westergaard, Michael and Kristensen, Lars Michael},
biburl = {https://www.bibsonomy.org/bibtex/26387f965b385e1917a580e9b91b5e631/dblp},
booktitle = {Trans. Petri Nets and Other Models of Concurrency},
crossref = {journals/topnoc/2012-5},
editor = {Jensen, Kurt and Donatelli, Susanna and Kleijn, Jetty},
ee = {https://doi.org/10.1007/978-3-642-29072-5_12},
interhash = {59618feba469377eab70b34d7a673c79},
intrahash = {6387f965b385e1917a580e9b91b5e631},
isbn = {978-3-642-29071-8},
journal = {Trans. Petri Nets Other Model. Concurr.},
keywords = {dblp},
pages = {265-291},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-03-14T12:18:34.000+0100},
title = {A Graphical Approach to Component-Based and Extensible Model Checking Platforms.},
url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc5.html#WestergaardK12},
volume = 5,
year = 2012
}