%0 Conference Paper %1 conf/icse/ShiGSWDY17 %A Shi, Gang %A Gan, Yuanke %A Shang, Shu %A Wang, Shengyuan %A Dong, Yuan %A Yew, Pen-Chung %B ICSE (Companion Volume) %D 2017 %E Uchitel, Sebastián %E Orso, Alessandro %E Robillard, Martin P. %I IEEE Computer Society %K dblp %P 109-111 %T A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs. %U http://dblp.uni-trier.de/db/conf/icse/icse2017c.html#ShiGSWDY17 %@ 978-1-5386-1589-8

@inproceedings{conf/icse/ShiGSWDY17, added-at = {2023-09-30T00:00:00.000+0200}, author = {Shi, Gang and Gan, Yuanke and Shang, Shu and Wang, Shengyuan and Dong, Yuan and Yew, Pen-Chung}, biburl = {https://www.bibsonomy.org/bibtex/2ce918479fe592206abdecc3f9831c16b/dblp}, booktitle = {ICSE (Companion Volume)}, crossref = {conf/icse/2017c}, editor = {Uchitel, Sebastián and Orso, Alessandro and Robillard, Martin P.}, ee = {http://dl.acm.org/citation.cfm?id=3098380}, interhash = {c0133f2d78b5d6f614041eb19150c4f0}, intrahash = {ce918479fe592206abdecc3f9831c16b}, isbn = {978-1-5386-1589-8}, keywords = {dblp}, pages = {109-111}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:18:15.000+0200}, title = {A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2017c.html#ShiGSWDY17}, year = 2017 }