%0 Conference Paper %1 conf/vmcai/AttieC05 %A Attie, Paul C. %A Chockler, Hana %B VMCAI %D 2005 %E Cousot, Radhia %I Springer %K dblp %P 465-481 %T Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2005.html#AttieC05 %V 3385 %@ 3-540-24297-X

@inproceedings{conf/vmcai/AttieC05, added-at = {2017-05-24T00:00:00.000+0200}, author = {Attie, Paul C. and Chockler, Hana}, biburl = {https://www.bibsonomy.org/bibtex/284af1c43806997555569ce0127a689a3/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2005}, editor = {Cousot, Radhia}, ee = {https://doi.org/10.1007/978-3-540-30579-8_30}, interhash = {0657c5b360a266b6092f0ed2caa7d064}, intrahash = {84af1c43806997555569ce0127a689a3}, isbn = {3-540-24297-X}, keywords = {dblp}, pages = {465-481}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:57.000+0200}, title = {Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2005.html#AttieC05}, volume = 3385, year = 2005 }