%0 Conference Paper %1 conf/icfem/PangKF03 %A Pang, Jun %A Karstens, Bart %A Fokkink, Wan J. %B ICFEM %D 2003 %E Dong, Jin Song %E Woodcock, Jim %I Springer %K dblp %P 504-522 %T Analyzing the Redesign of a Distributed Lift System in UPPAAL. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2003.html#PangKF03 %V 2885 %@ 3-540-20461-X

@inproceedings{conf/icfem/PangKF03, added-at = {2020-05-18T00:00:00.000+0200}, author = {Pang, Jun and Karstens, Bart and Fokkink, Wan J.}, biburl = {https://www.bibsonomy.org/bibtex/2573439803609ca8d6979c811d6f3de6a/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2003}, editor = {Dong, Jin Song and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-540-39893-6_29}, interhash = {46fba91136b712f5a254a69bd2d429ab}, intrahash = {573439803609ca8d6979c811d6f3de6a}, isbn = {3-540-20461-X}, keywords = {dblp}, pages = {504-522}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:41.000+0200}, title = {Analyzing the Redesign of a Distributed Lift System in UPPAAL.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2003.html#PangKF03}, volume = 2885, year = 2003 }