%0 Conference Paper %1 conf/cav/KroeningSTW10 %A Kroening, Daniel %A Sharygina, Natasha %A Tsitovich, Aliaksei %A Wintersteiger, Christoph M. %B CAV %D 2010 %E Touili, Tayssir %E Cook, Byron %E Jackson, Paul B. %I Springer %K dblp %P 89-103 %T Termination Analysis with Compositional Transition Invariants. %U http://dblp.uni-trier.de/db/conf/cav/cav2010.html#KroeningSTW10 %V 6174 %@ 978-3-642-14294-9

@inproceedings{conf/cav/KroeningSTW10, added-at = {2020-03-27T00:00:00.000+0100}, author = {Kroening, Daniel and Sharygina, Natasha and Tsitovich, Aliaksei and Wintersteiger, Christoph M.}, biburl = {https://www.bibsonomy.org/bibtex/296ae49cfb82dc24d81be621d805113f7/dblp}, booktitle = {CAV}, crossref = {conf/cav/2010}, editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.}, ee = {https://doi.org/10.1007/978-3-642-14295-6_9}, interhash = {1bb52243f5c92dcae39e21c079a925a2}, intrahash = {96ae49cfb82dc24d81be621d805113f7}, isbn = {978-3-642-14294-9}, keywords = {dblp}, pages = {89-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-07T08:06:56.000+0200}, title = {Termination Analysis with Compositional Transition Invariants.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#KroeningSTW10}, volume = 6174, year = 2010 }