%0 Conference Paper %1 conf/asian/RitterHE99 %A Ritter, Gerd %A Hinrichsen, Holger %A Eveking, Hans %B ASIAN %D 1999 %E Thiagarajan, P. S. %E Yap, Roland H. C. %I Springer %K dblp %P 308-321 %T Formal Verification of Descriptions with Distinct Order of Memory Operations. %U http://dblp.uni-trier.de/db/conf/asian/asian99.html#RitterHE99 %V 1742 %@ 3-540-66856-X

@inproceedings{conf/asian/RitterHE99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Ritter, Gerd and Hinrichsen, Holger and Eveking, Hans}, biburl = {https://www.bibsonomy.org/bibtex/25b59432e431f731e5518b807fe9275ee/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/1999}, editor = {Thiagarajan, P. S. and Yap, Roland H. C.}, ee = {https://doi.org/10.1007/3-540-46674-6_26}, interhash = {193c886d1ddce6abcafca4e65b937470}, intrahash = {5b59432e431f731e5518b807fe9275ee}, isbn = {3-540-66856-X}, keywords = {dblp}, pages = {308-321}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:18:47.000+0200}, title = {Formal Verification of Descriptions with Distinct Order of Memory Operations.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian99.html#RitterHE99}, volume = 1742, year = 1999 }