iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/tacas/WangWGK19.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/tacas/WangWGK19 AU - Wang, Wenxi AU - Wang, Kaiyuan AU - Gligoric, Milos AU - Khurshid, Sarfraz TI - Incremental Analysis of Evolving Alloy Models. BT - Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I SP - 174 EP - 191 PY - 2019// DO - 10.1007/978-3-030-17462-0_10 UR - https://doi.org/10.1007/978-3-030-17462-0_10 ER -