%0 Conference Paper %1 conf/lics/KobayashiL15 %A Kobayashi, Naoki %A Li, Xin %B LICS %D 2015 %I IEEE Computer Society %K dblp %P 713-724 %T Automata-Based Abstraction Refinement for µHORS Model Checking. %U http://dblp.uni-trier.de/db/conf/lics/lics2015.html#KobayashiL15 %@ 978-1-4799-8875-4

@inproceedings{conf/lics/KobayashiL15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kobayashi, Naoki and Li, Xin}, biburl = {https://www.bibsonomy.org/bibtex/27f64622a21563c07692d5dd370fb66d0/dblp}, booktitle = {LICS}, crossref = {conf/lics/2015}, ee = {http://dl.acm.org/citation.cfm?id=2876577}, interhash = {17c4dc045d7fc48b29396554ece82565}, intrahash = {7f64622a21563c07692d5dd370fb66d0}, isbn = {978-1-4799-8875-4}, keywords = {dblp}, pages = {713-724}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:41.000+0200}, title = {Automata-Based Abstraction Refinement for µHORS Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2015.html#KobayashiL15}, year = 2015 }