%0 Conference Paper %1 conf/hybrid/Qiwen97 %A Xu, Qiwen %B HART %D 1997 %E Maler, Oded %I Springer %K dblp %P 301-315 %T Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. %U http://dblp.uni-trier.de/db/conf/hybrid/hart97.html#Qiwen97 %V 1201 %@ 3-540-62600-X

@inproceedings{conf/hybrid/Qiwen97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Xu, Qiwen}, biburl = {https://www.bibsonomy.org/bibtex/266ba928bf913c6f5399bec5e39494874/dblp}, booktitle = {HART}, crossref = {conf/hybrid/1997hart}, editor = {Maler, Oded}, ee = {https://doi.org/10.1007/BFb0014734}, interhash = {5eb542f388b354456b498032cba1dfc0}, intrahash = {66ba928bf913c6f5399bec5e39494874}, isbn = {3-540-62600-X}, keywords = {dblp}, pages = {301-315}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:05.000+0200}, title = {Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hart97.html#Qiwen97}, volume = 1201, year = 1997 }