Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/chdl/ClarkeGHJLMN93
@inproceedings{DBLP:conf/chdl/ClarkeGHJLMN93, author = {Edmund M. Clarke and Orna Grumberg and Hiromi Hiraishi and Somesh Jha and David E. Long and Kenneth L. McMillan and Linda A. Ness}, editor = {David Agnew and Luc J. M. Claesen and Raul Camposano}, title = {Verification of the Futurebus+ Cache Coherence Protocol}, booktitle = {Computer Hardware Description Languages and their Applications, Proceedings of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware Description Languages and their Applications - {CHDL} '93, sponsored by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993}, series = {{IFIP} Transactions}, volume = {{A-32}}, pages = {15--30}, publisher = {North-Holland}, year = {1993}, timestamp = {Thu, 03 Jan 2002 11:54:34 +0100}, biburl = {https://dblp.org/rec/conf/chdl/ClarkeGHJLMN93.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.