Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/corr/abs-0903-3126
%A Bouajjani, Ahmed
%A Dragoi, Cezara
%A Enea, Constantin
%A Jurski, Yan
%A Sighireanu, Mihaela
%D 2009
%J Logical Methods in Computer Science
%K
%N 2
%T A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
%U http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0903-3126
%V 5
@article{journals/corr/abs-0903-3126,
added-at = {2023-12-13T09:48:32.000+0100},
author = {Bouajjani, Ahmed and Dragoi, Cezara and Enea, Constantin and Jurski, Yan and Sighireanu, Mihaela},
biburl = {https://www.bibsonomy.org/bibtex/2caac27472f71b73ca2378951fd4ccbf0/admin},
ee = {http://arxiv.org/abs/0903.3126},
interhash = {d201a3d2066a96bccbe7b6f5876e9628},
intrahash = {caac27472f71b73ca2378951fd4ccbf0},
journal = {Logical Methods in Computer Science},
keywords = {},
number = 2,
timestamp = {2023-12-13T09:48:32.000+0100},
title = {A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes},
url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0903-3126},
volume = 5,
year = 2009
}