%0 Conference Paper %1 conf/cyberc/JiaLH17 %A Jia, Tingting %A Li, Caihong %A He, Anping %B CyberC %D 2017 %I IEEE %K dblp %P 471-475 %T Modeling and Verification of Circuit with Stable-Event. %U http://dblp.uni-trier.de/db/conf/cyberc/cyberc2017.html#JiaLH17 %@ 978-1-5386-2209-4

@inproceedings{conf/cyberc/JiaLH17, added-at = {2018-01-17T00:00:00.000+0100}, author = {Jia, Tingting and Li, Caihong and He, Anping}, biburl = {https://www.bibsonomy.org/bibtex/20bdf06e78d6322c4072801c037db1a4a/dblp}, booktitle = {CyberC}, crossref = {conf/cyberc/2017}, ee = {https://doi.org/10.1109/CyberC.2017.73}, interhash = {40e8c96bc094b846a305d1a0cc28661a}, intrahash = {0bdf06e78d6322c4072801c037db1a4a}, isbn = {978-1-5386-2209-4}, keywords = {dblp}, pages = {471-475}, publisher = {IEEE}, timestamp = {2018-01-18T11:39:31.000+0100}, title = {Modeling and Verification of Circuit with Stable-Event.}, url = {http://dblp.uni-trier.de/db/conf/cyberc/cyberc2017.html#JiaLH17}, year = 2017 }