%0 Conference Paper %1 conf/rp/CassezJL17 %A Cassez, Franck %A Jensen, Peter Gjøl %A Larsen, Kim Guldstrand %B RP %D 2017 %E Hague, Matthew %E Potapov, Igor %I Springer %K dblp %P 42-58 %T Refinement of Trace Abstraction for Real-Time Programs. %U http://dblp.uni-trier.de/db/conf/rp/rp2017.html#CassezJL17 %V 10506 %@ 978-3-319-67089-8

@inproceedings{conf/rp/CassezJL17, added-at = {2024-05-07T00:00:00.000+0200}, author = {Cassez, Franck and Jensen, Peter Gjøl and Larsen, Kim Guldstrand}, biburl = {https://www.bibsonomy.org/bibtex/2fe1b5412c3b38571577279a63b7185a7/dblp}, booktitle = {RP}, crossref = {conf/rp/2017}, editor = {Hague, Matthew and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-319-67089-8_4}, interhash = {7f05571d88512cf18fe022f070cd400d}, intrahash = {fe1b5412c3b38571577279a63b7185a7}, isbn = {978-3-319-67089-8}, keywords = {dblp}, pages = {42-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:47:57.000+0200}, title = {Refinement of Trace Abstraction for Real-Time Programs.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2017.html#CassezJL17}, volume = 10506, year = 2017 }