%0 Conference Paper %1 conf/fmcad/Bingham08 %A Bingham, Jesse D. %B FMCAD %D 2008 %E Cimatti, Alessandro %E Jones, Robert B. %I IEEE %K dblp %P 1-8 %T Automatic Non-Interference Lemmas for Parameterized Model Checking. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2008.html#Bingham08 %@ 978-1-4244-2735-2

@inproceedings{conf/fmcad/Bingham08, added-at = {2010-03-11T00:00:00.000+0100}, author = {Bingham, Jesse D.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/255c5279b73fb57db1cbdd1db5a61cd59/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2008}, editor = {Cimatti, Alessandro and Jones, Robert B.}, ee = {http://dx.doi.org/10.1109/FMCAD.2008.ECP.15}, interhash = {ec80a08daa644c96343a89b726f667fb}, intrahash = {55c5279b73fb57db1cbdd1db5a61cd59}, isbn = {978-1-4244-2735-2}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2016-02-18T10:32:15.000+0100}, title = {Automatic Non-Interference Lemmas for Parameterized Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2008.html#Bingham08}, year = 2008 }