N. Tzevelekos. Modelling, Controlling and Reasoning About State, том 10351 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/dagstuhl/Tzevelekos10
%A Tzevelekos, Nikos
%B Modelling, Controlling and Reasoning About State
%D 2010
%E Ahmed, Amal
%E Benton, Nick
%E Birkedal, Lars
%E Hofmann, Martin
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
%K dblp
%T Program Equivalence with Names.
%U http://dblp.uni-trier.de/db/conf/dagstuhl/P10351.html#Tzevelekos10
%V 10351
@inproceedings{conf/dagstuhl/Tzevelekos10,
added-at = {2018-08-23T00:00:00.000+0200},
author = {Tzevelekos, Nikos},
biburl = {https://www.bibsonomy.org/bibtex/21413911edfc5d306dbaecaf9b44fe86a/dblp},
booktitle = {Modelling, Controlling and Reasoning About State},
crossref = {conf/dagstuhl/2010P10351},
editor = {Ahmed, Amal and Benton, Nick and Birkedal, Lars and Hofmann, Martin},
ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2809/},
interhash = {4a18cd1dd65525ff58741beec4e90a03},
intrahash = {1413911edfc5d306dbaecaf9b44fe86a},
keywords = {dblp},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
series = {Dagstuhl Seminar Proceedings},
timestamp = {2024-04-09T10:24:28.000+0200},
title = {Program Equivalence with Names.},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P10351.html#Tzevelekos10},
volume = 10351,
year = 2010
}
