%0 Conference Paper %1 conf/icfem/KhooS18 %A Khoo, Teck Ping %A Sun, Jun %B ICFEM %D 2018 %E Sun, Jing %E Sun, Meng %I Springer %K dblp %P 54-69 %T The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2018.html#KhooS18 %V 11232 %@ 978-3-030-02450-5

@inproceedings{conf/icfem/KhooS18, added-at = {2020-10-21T00:00:00.000+0200}, author = {Khoo, Teck Ping and Sun, Jun}, biburl = {https://www.bibsonomy.org/bibtex/2ef09d9ee9ea9aa2e9715c1a252e400f6/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2018}, editor = {Sun, Jing and Sun, Meng}, ee = {https://doi.org/10.1007/978-3-030-02450-5_4}, interhash = {539826f8fd90295bc46cddb45a328aad}, intrahash = {ef09d9ee9ea9aa2e9715c1a252e400f6}, isbn = {978-3-030-02450-5}, keywords = {dblp}, pages = {54-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-22T11:39:12.000+0200}, title = {The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2018.html#KhooS18}, volume = 11232, year = 2018 }