Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/sbes/SalazarM88
@inproceedings{DBLP:conf/sbes/SalazarM88, author = {Carmen Huamali Salazar and Silvio Romero de Lemos Meira}, editor = {Ana Regina Cavalcanti da Rocha}, title = {Especifica{\c{c}}{\~{a}}o Formal de Sistemas Distribuidos Usando {Z} e Sistemas de Transi{\c{c}}{\~{a}}o}, booktitle = {Proceedings of the 2nd Brazilian Symposium on Software Engineering, {SBES} 1988, Canela, RS, Brazil, October 27-28, 1988}, pages = {47--60}, publisher = {{SBC}}, year = {1988}, url = {https://doi.org/10.5753/sbes.1988.24244}, doi = {10.5753/SBES.1988.24244}, timestamp = {Mon, 08 Jan 2024 17:05:41 +0100}, biburl = {https://dblp.org/rec/conf/sbes/SalazarM88.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.