%0 Conference Paper %1 conf/tacas/IosifRV16 %A Iosif, Radu %A Rogalewicz, Adam %A Vojnar, Tomás %B TACAS %D 2016 %E Chechik, Marsha %E Raskin, Jean-François %I Springer %K dblp %P 71-89 %T Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#IosifRV16 %V 9636 %@ 978-3-662-49673-2

@inproceedings{conf/tacas/IosifRV16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Iosif, Radu and Rogalewicz, Adam and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/27d4a820cfd2e43ae1b95298feb508c75/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2016}, editor = {Chechik, Marsha and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-662-49674-9_5}, interhash = {54f54fef54e619e2bd3a10955e66eb38}, intrahash = {7d4a820cfd2e43ae1b95298feb508c75}, isbn = {978-3-662-49673-2}, keywords = {dblp}, pages = {71-89}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:36.000+0200}, title = {Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#IosifRV16}, volume = 9636, year = 2016 }