%0 Conference Paper %1 conf/amt/Li05 %A Li, Chunping %B AMT %D 2005 %E Tarumi, Hiroyuki %E Li, Yuefeng %E Yoshida, Tetsuya %I IEEE %K dblp %P 551-555 %T Reasoning about continuous change: a formal method based on process description. %U http://dblp.uni-trier.de/db/conf/amt/amt2005.html#Li05 %@ 0-7803-9035-0

@inproceedings{conf/amt/Li05, added-at = {2020-11-27T00:00:00.000+0100}, author = {Li, Chunping}, biburl = {https://www.bibsonomy.org/bibtex/2b65ae2f840f64cd232c3dde13f6e9668/dblp}, booktitle = {AMT}, crossref = {conf/amt/2005}, editor = {Tarumi, Hiroyuki and Li, Yuefeng and Yoshida, Tetsuya}, ee = {https://doi.org/10.1109/AMT.2005.1505421}, interhash = {41ee5dd989a4cd6f2b958e3946607c38}, intrahash = {b65ae2f840f64cd232c3dde13f6e9668}, isbn = {0-7803-9035-0}, keywords = {dblp}, pages = {551-555}, publisher = {IEEE}, timestamp = {2020-11-28T11:37:29.000+0100}, title = {Reasoning about continuous change: a formal method based on process description.}, url = {http://dblp.uni-trier.de/db/conf/amt/amt2005.html#Li05}, year = 2005 }