%0 Conference Paper %1 conf/ac/HansenH07 %A Hansen, Michael R. %A Hung, Dang Van %B Domain Modeling and the Duration Calculus %D 2007 %E George, Chris %E Liu, Zhiming %E Woodcock, Jim %I Springer %K dblp %P 119-176 %T A Theory of Duration Calculus with Application. %U http://dblp.uni-trier.de/db/conf/ac/duration2007.html#HansenH07 %V 4710 %@ 978-3-540-74963-9

@inproceedings{conf/ac/HansenH07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Hansen, Michael R. and Hung, Dang Van}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26f0723c7f4fd34b20c5a2033abfc1281/dblp}, booktitle = {Domain Modeling and the Duration Calculus}, crossref = {conf/ac/2007duration}, editor = {George, Chris and Liu, Zhiming and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-540-74964-6_3}, interhash = {9dcfa7086f28495e83b0efa0f4490fb4}, intrahash = {6f0723c7f4fd34b20c5a2033abfc1281}, isbn = {978-3-540-74963-9}, keywords = {dblp}, pages = {119-176}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:05:45.000+0200}, title = {A Theory of Duration Calculus with Application.}, url = {http://dblp.uni-trier.de/db/conf/ac/duration2007.html#HansenH07}, volume = 4710, year = 2007 }