%0 Conference Paper %1 conf/apsec/SuetsuguYA07 %A Suetsugu, Ryo %A Yuen, Shoji %A Agusa, Kiyoshi %B APSEC %D 2007 %I IEEE Computer Society %K dblp %P 366-373 %T A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2007.html#SuetsuguYA07 %@ 0-7695-3057-5

@inproceedings{conf/apsec/SuetsuguYA07, added-at = {2017-05-17T00:00:00.000+0200}, author = {Suetsugu, Ryo and Yuen, Shoji and Agusa, Kiyoshi}, biburl = {https://www.bibsonomy.org/bibtex/259dc6c0113be9990d53e8939d9051981/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2007}, ee = {https://doi.org/10.1109/APSEC.2007.15}, interhash = {97cc558595f5e44356e137de3d079169}, intrahash = {59dc6c0113be9990d53e8939d9051981}, isbn = {0-7695-3057-5}, keywords = {dblp}, pages = {366-373}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T15:51:48.000+0200}, title = {A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2007.html#SuetsuguYA07}, year = 2007 }