Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/basesearch/Celestrin17
%A Celestrin, Abel Garcia
%D 2017
%K dblp
%T Static Analysis of Concurrent Programs Based on Behavioral Type Systems.
@phdthesis{phd/basesearch/Celestrin17,
added-at = {2020-07-21T00:00:00.000+0200},
author = {Celestrin, Abel Garcia},
biburl = {https://www.bibsonomy.org/bibtex/2128715fe03779c9c1e8be79913f7dba3/dblp},
ee = {https://tel.archives-ouvertes.fr/tel-01660749},
interhash = {97e41107c2dfad5ca6d4bf982b1f3ea4},
intrahash = {128715fe03779c9c1e8be79913f7dba3},
keywords = {dblp},
note = {base-search.net (ftunivbologntesi:oai:amsdottorato.cib.unibo.it:8046)},
school = {University of Bologna, Italy},
timestamp = {2020-07-24T00:57:59.000+0200},
title = {Static Analysis of Concurrent Programs Based on Behavioral Type Systems.},
year = 2017
}