%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 }