%0 Journal Article %1 journals/entcs/XavierCS08 %A Xavier, Manuela %A Cavalcanti, Ana %A Sampaio, Augusto %D 2008 %J Electron. Notes Theor. Comput. Sci. %K %P 75-93 %T Type Checking Circus Specifications. %U http://dblp.uni-trier.de/db/journals/entcs/entcs195.html#XavierCS08 %V 195

@article{journals/entcs/XavierCS08, added-at = {2023-12-13T06:34:39.000+0100}, author = {Xavier, Manuela and Cavalcanti, Ana and Sampaio, Augusto}, biburl = {https://www.bibsonomy.org/bibtex/2d583cd2bd1c6dc7a0e72d5b8424af114/admin}, ee = {https://doi.org/10.1016/j.entcs.2007.08.027}, interhash = {af3927aa301365cc82f434d4ae3a5d21}, intrahash = {d583cd2bd1c6dc7a0e72d5b8424af114}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {75-93}, timestamp = {2023-12-13T06:34:39.000+0100}, title = {Type Checking Circus Specifications.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs195.html#XavierCS08}, volume = 195, year = 2008 }