%0 Conference Paper %1 conf/itp/DelftGW17 %A van Delft, Myrthe %A Geuvers, Herman %A Willemse, Tim A. C. %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 462-478 %T A Formalisation of Consistent Consequence for Boolean Equation Systems. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#DelftGW17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/DelftGW17, added-at = {2017-09-06T00:00:00.000+0200}, author = {van Delft, Myrthe and Geuvers, Herman and Willemse, Tim A. C.}, biburl = {https://www.bibsonomy.org/bibtex/2e9f1163158f60373aa308226920b01e5/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_29}, interhash = {0559337011d1711776a629d12811b4ef}, intrahash = {e9f1163158f60373aa308226920b01e5}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {462-478}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:23.000+0200}, title = {A Formalisation of Consistent Consequence for Boolean Equation Systems.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#DelftGW17}, volume = 10499, year = 2017 }