%0 Conference Paper %1 conf/nfm/ChengBJYKR11 %A Cheng, Chih-Hong %A Bensalem, Saddek %A Jobstmann, Barbara %A Yan, Rongjie %A Knoll, Alois %A Ruess, Harald %B NASA Formal Methods %D 2011 %E Bobaru, Mihaela Gheorghiu %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 466-471 %T Model Construction and Priority Synthesis for Simple Interaction Systems. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#ChengBJYKR11 %V 6617 %@ 978-3-642-20397-8

@inproceedings{conf/nfm/ChengBJYKR11, added-at = {2017-05-25T00:00:00.000+0200}, author = {Cheng, Chih-Hong and Bensalem, Saddek and Jobstmann, Barbara and Yan, Rongjie and Knoll, Alois and Ruess, Harald}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a053b250b6cdabb2357fc90fac7436a4/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2011}, editor = {Bobaru, Mihaela Gheorghiu and Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-642-20398-5_34}, interhash = {1756d542641003702cabd6f0772ff354}, intrahash = {a053b250b6cdabb2357fc90fac7436a4}, isbn = {978-3-642-20397-8}, keywords = {dblp}, pages = {466-471}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:28:19.000+0200}, title = {Model Construction and Priority Synthesis for Simple Interaction Systems.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#ChengBJYKR11}, volume = 6617, year = 2011 }