%0 Conference Paper %1 conf/sbes/DottiF0S03 %A Dotti, Fernando Luís %A Foss, Luciana %A Ribeiro, Leila %A dos Santos, Osmar Marchi %B SBES %D 2003 %E Travassos, Guilherme Horta %E da Silva, Altigran Soares %I SBC %K dblp %P 221-236 %T Especificação e Verificação Formal de Sistemas Distribuídos. %U http://dblp.uni-trier.de/db/conf/sbes/sbes2003.html#DottiF0S03

@inproceedings{conf/sbes/DottiF0S03, added-at = {2024-01-10T00:00:00.000+0100}, author = {Dotti, Fernando Luís and Foss, Luciana and Ribeiro, Leila and dos Santos, Osmar Marchi}, biburl = {https://www.bibsonomy.org/bibtex/28e3d43a859d17fc8817bbc875702d0d6/dblp}, booktitle = {SBES}, crossref = {conf/sbes/2003}, editor = {Travassos, Guilherme Horta and da Silva, Altigran Soares}, ee = {https://doi.org/10.5753/sbes.2003.23863}, interhash = {7de46ef2e52deb992bbe398312d79e65}, intrahash = {8e3d43a859d17fc8817bbc875702d0d6}, keywords = {dblp}, pages = {221-236}, publisher = {SBC}, timestamp = {2024-04-09T16:00:54.000+0200}, title = {Especificação e Verificação Formal de Sistemas Distribuídos.}, url = {http://dblp.uni-trier.de/db/conf/sbes/sbes2003.html#DottiF0S03}, year = 2003 }