Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/corr/KanovichKNST16
%A Kanovich, Max I.
%A Kirigin, Tajana Ban
%A Nigam, Vivek
%A Scedrov, Andre
%A Talcott, Carolyn L.
%D 2016
%J CoRR
%K dblp
%T Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.
%U http://dblp.uni-trier.de/db/journals/corr/corr1606.html#KanovichKNST16
%V abs/1606.07886
@article{journals/corr/KanovichKNST16,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Kanovich, Max I. and Kirigin, Tajana Ban and Nigam, Vivek and Scedrov, Andre and Talcott, Carolyn L.},
biburl = {https://www.bibsonomy.org/bibtex/24897db5ce8933c347fc08d0b2e524114/dblp},
ee = {http://arxiv.org/abs/1606.07886},
interhash = {17035a2dc3a0fb00a515326a7ce7834b},
intrahash = {4897db5ce8933c347fc08d0b2e524114},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T11:57:09.000+0200},
title = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1606.html#KanovichKNST16},
volume = {abs/1606.07886},
year = 2016
}