Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/sbes/DottiPS04
@inproceedings{DBLP:conf/sbes/DottiPS04, author = {Fernando Lu{\'{\i}}s Dotti and F{\'{a}}bio Pasini and Osmar Marchi dos Santos}, editor = {Murilo S. de Camargo and Jaelson Freire Brelaz de Castro}, title = {Uma Metodologia para a Verifica{\c{c}}{\~{a}}o de Sistemas Parciais Modelados na Gram{\'{a}}tica de Grafos Baseada em Objetos}, booktitle = {Proceedings of the 18th Brazilian Symposium on Software Engineering, {SBES} 2004, Bras{\'{\i}}lia, DF, Brazil, October 18-22, 2004}, pages = {86--101}, publisher = {{SBC}}, year = {2004}, url = {https://doi.org/10.5753/sbes.2004.23835}, doi = {10.5753/SBES.2004.23835}, timestamp = {Mon, 08 Jan 2024 17:05:41 +0100}, biburl = {https://dblp.org/rec/conf/sbes/DottiPS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.