Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}