@inproceedings{ dblp4036572,
  title = {Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata},
  author = {Guoqiang Shu and Chao Li and Qing Wang and Mingshu Li},
  author_short = {Shu, G. and Li, C. and Wang, Q. and Li, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp4036572},
  id = {dblp4036572},
  biburl = {http://www.dblp.org/rec/bibtex/conf/rsp/ShuLWL02},
  url = {http://dx.doi.org/10.1109/IWRSP.2002.1029744},
  conference = {IEEE International Workshop on Rapid System Prototyping},
  pages = {99-},
  text = {IEEE International Workshop on Rapid System Prototyping 2002:99-},
  booktitle = {Proceedings of IEEE International Workshop on Rapid System Prototyping}
}

{"_id":"T6PnsRuDzEbpoHWBd","bibbaseid":"shu-li-wang-li-validatingobjectedorientedprototypeofrealtimesystemswithtimedautomata-2002","downloads":0,"creationDate":"2015-10-27T10:09:40.604Z","title":"Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata","author_short":["Shu, G.","Li, C.","Wang, Q.","Li, M."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/rsp/ShuLWL02","bibdata":{"title":"Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata","author":["Guoqiang Shu","Chao Li","Qing Wang","Mingshu Li"],"author_short":["Shu, G.","Li, C.","Wang, Q.","Li, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp4036572","id":"dblp4036572","biburl":"http://www.dblp.org/rec/bibtex/conf/rsp/ShuLWL02","url":"http://dx.doi.org/10.1109/IWRSP.2002.1029744","conference":"IEEE International Workshop on Rapid System Prototyping","pages":"99-","text":"IEEE International Workshop on Rapid System Prototyping 2002:99-","booktitle":"Proceedings of IEEE International Workshop on Rapid System Prototyping","bibtex":"@inproceedings{ dblp4036572,\n title = {Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata},\n author = {Guoqiang Shu and Chao Li and Qing Wang and Mingshu Li},\n author_short = {Shu, G. and Li, C. and Wang, Q. and Li, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp4036572},\n id = {dblp4036572},\n biburl = {http://www.dblp.org/rec/bibtex/conf/rsp/ShuLWL02},\n url = {http://dx.doi.org/10.1109/IWRSP.2002.1029744},\n conference = {IEEE International Workshop on Rapid System Prototyping},\n pages = {99-},\n text = {IEEE International Workshop on Rapid System Prototyping 2002:99-},\n booktitle = {Proceedings of IEEE International Workshop on Rapid System Prototyping}\n}","bibbaseid":"shu-li-wang-li-validatingobjectedorientedprototypeofrealtimesystemswithtimedautomata-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/IWRSP.2002.1029744"},"downloads":0},"search_terms":["validating","objected","oriented","prototype","real","time","systems","timed","automata","shu","li","wang","li"],"keywords":[],"authorIDs":["546910fabc7d6a460d001151"],"dataSources":["ihoxjPRwxrd3C7fFb"]}