%0 Conference Paper %1 conf/amast/Jacobs04 %A Jacobs, Bart %A Hubbers, Engelbert %A Kiniry, Joseph %A Oostdijk, Martijn %B AMAST %D 2004 %E Rattray, Charles %E Maharaj, Savi %E Shankland, Carron %I Springer %K dblp %P 21-22 %T Counting Votes with Formal Methods. %U http://dblp.uni-trier.de/db/conf/amast/amast2004.html#Jacobs04 %V 3116 %@ 3-540-22381-9

@inproceedings{conf/amast/Jacobs04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Jacobs, Bart and Hubbers, Engelbert and Kiniry, Joseph and Oostdijk, Martijn}, biburl = {https://www.bibsonomy.org/bibtex/22a9715a4193ea7275e3db6e2310b0d66/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2004}, editor = {Rattray, Charles and Maharaj, Savi and Shankland, Carron}, ee = {https://doi.org/10.1007/978-3-540-27815-3_5}, interhash = {23fddfa6d34360bc066a40dfe68b5456}, intrahash = {2a9715a4193ea7275e3db6e2310b0d66}, isbn = {3-540-22381-9}, keywords = {dblp}, pages = {21-22}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:25:18.000+0200}, title = {Counting Votes with Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2004.html#Jacobs04}, volume = 3116, year = 2004 }