%0 Conference Paper %1 conf/cade/DarvasMR08 %A Darvas, Ádám %A Mehta, Farhad %A Rudich, Arsenii %B IJCAR %D 2008 %E Armando, Alessandro %E Baumgartner, Peter %E Dowek, Gilles %I Springer %K dblp %P 100-115 %T Efficient Well-Definedness Checking. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2008.html#DarvasMR08 %V 5195 %@ 978-3-540-71069-1

@inproceedings{conf/cade/DarvasMR08, added-at = {2017-05-21T00:00:00.000+0200}, author = {Darvas, Ádám and Mehta, Farhad and Rudich, Arsenii}, biburl = {https://www.bibsonomy.org/bibtex/25100eaf645c3f83eebd7903b3e96f52c/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2008}, editor = {Armando, Alessandro and Baumgartner, Peter and Dowek, Gilles}, ee = {https://doi.org/10.1007/978-3-540-71070-7_8}, interhash = {c7e4f844778e8bf55755b4f23401fec9}, intrahash = {5100eaf645c3f83eebd7903b3e96f52c}, isbn = {978-3-540-71069-1}, keywords = {dblp}, pages = {100-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:28.000+0200}, title = {Efficient Well-Definedness Checking.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2008.html#DarvasMR08}, volume = 5195, year = 2008 }