%0 Conference Paper %1 conf/icsoft/IkedaON09 %A Ikeda, Ritsuya %A Ohata, Takuya %A ya Nishizaki, Shin %B ICSOFT (1) %D 2009 %E Shishkov, Boris %E Cordeiro, José %E Ranchordas, Alpesh %I INSTICC Press %K dblp %P 348-352 %T Formalization of Broadcast Communication in Process Calculus and Its Model Checking. %U http://dblp.uni-trier.de/db/conf/icsoft/icsoft2009-1.html#IkedaON09 %@ 978-989-674-009-2

@inproceedings{conf/icsoft/IkedaON09, added-at = {2009-09-18T00:00:00.000+0200}, author = {Ikeda, Ritsuya and Ohata, Takuya and ya Nishizaki, Shin}, biburl = {https://www.bibsonomy.org/bibtex/2a416ed067adb98be622c0ecddc9367e4/dblp}, booktitle = {ICSOFT (1)}, crossref = {conf/icsoft/2009-1}, date = {2009-09-18}, description = {dblp}, editor = {Shishkov, Boris and Cordeiro, José and Ranchordas, Alpesh}, interhash = {62a38ec65be77d61dc849b592f4154cb}, intrahash = {a416ed067adb98be622c0ecddc9367e4}, isbn = {978-989-674-009-2}, keywords = {dblp}, pages = {348-352}, publisher = {INSTICC Press}, timestamp = {2009-09-19T11:34:53.000+0200}, title = {Formalization of Broadcast Communication in Process Calculus and Its Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/icsoft/icsoft2009-1.html#IkedaON09}, year = 2009 }