%0 Conference Paper %1 conf/tacas/AntoninoGR17 %A Antonino, Pedro R. G. %A Gibson-Robinson, Thomas %A Roscoe, A. W. %B TACAS (2) %D 2017 %E Legay, Axel %E Margaria, Tiziana %K dblp %P 249-265 %T The Automatic Detection of Token Structures and Invariants Using SAT Checking. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#AntoninoGR17 %V 10206 %@ 978-3-662-54580-5

@inproceedings{conf/tacas/AntoninoGR17, added-at = {2020-05-18T00:00:00.000+0200}, author = {Antonino, Pedro R. G. and Gibson-Robinson, Thomas and Roscoe, A. W.}, biburl = {https://www.bibsonomy.org/bibtex/2ece447ccc28383356697e8e3f4b2b8fa/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2017-2}, editor = {Legay, Axel and Margaria, Tiziana}, ee = {https://doi.org/10.1007/978-3-662-54580-5_15}, interhash = {92e9fcf4cb4c37b15d8d62020bfafca9}, intrahash = {ece447ccc28383356697e8e3f4b2b8fa}, isbn = {978-3-662-54580-5}, keywords = {dblp}, pages = {249-265}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-19T12:34:47.000+0200}, title = {The Automatic Detection of Token Structures and Invariants Using SAT Checking.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#AntoninoGR17}, volume = 10206, year = 2017 }