%0 Conference Paper %1 conf/ftscs/ChoeAH14 %A Choe, Changil %A Ahn, Univan %A Han, Song %B FTSCS %D 2014 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I Springer %K dblp %P 62-75 %T Checking Integral Real-Time Automata for Extended Linear Duration Invariants. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2014.html#ChoeAH14 %V 476 %@ 978-3-319-17580-5

@inproceedings{conf/ftscs/ChoeAH14, added-at = {2020-11-24T00:00:00.000+0100}, author = {Choe, Changil and Ahn, Univan and Han, Song}, biburl = {https://www.bibsonomy.org/bibtex/2a66edd0da9c3f72379cbc02d50fe7657/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2014}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-319-17581-2_5}, interhash = {95feb1c643661a60e73f9bb87b07e50f}, intrahash = {a66edd0da9c3f72379cbc02d50fe7657}, isbn = {978-3-319-17580-5}, keywords = {dblp}, pages = {62-75}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2020-11-25T11:40:01.000+0100}, title = {Checking Integral Real-Time Automata for Extended Linear Duration Invariants.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2014.html#ChoeAH14}, volume = 476, year = 2014 }