%0 Conference Paper %1 conf/sefm/HongNZLS17 %A Hong, Weijiang %A Nawaz, M. Saqib %A Zhang, Xiyue %A Li, Yi %A Sun, Meng %B SEFM Workshops %D 2017 %E Cerone, Antonio %E Roveri, Marco %I Springer %K dblp %P 558-573 %T Using Coq for Formal Modeling and Verification of Timed Connectors. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2017w.html#HongNZLS17 %V 10729 %@ 978-3-319-74781-1

@inproceedings{conf/sefm/HongNZLS17, added-at = {2018-11-02T00:00:00.000+0100}, author = {Hong, Weijiang and Nawaz, M. Saqib and Zhang, Xiyue and Li, Yi and Sun, Meng}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bc51e8af05670c106ede81955925abf9/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2017w}, editor = {Cerone, Antonio and Roveri, Marco}, ee = {https://doi.org/10.1007/978-3-319-74781-1_37}, interhash = {ce694833300cd1f8cd731622f335a09c}, intrahash = {bc51e8af05670c106ede81955925abf9}, isbn = {978-3-319-74781-1}, keywords = {dblp}, pages = {558-573}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:45:00.000+0200}, title = {Using Coq for Formal Modeling and Verification of Timed Connectors.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2017w.html#HongNZLS17}, volume = 10729, year = 2017 }