%0 Conference Paper %1 conf/apsec/LeelapruteTKNM05 %A Leelaprute, Pattara %A Tsuchiya, Tatsuhiro %A Kikuno, Tohru %A Nakamura, Masahide %A ichi Matsumoto, Ken %B APSEC %D 2005 %I IEEE Computer Society %K dblp %P 549-560 %T Describing and Verifying Integrated Services of Home Network Systems. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2005.html#LeelapruteTKNM05 %@ 0-7695-2465-6

@inproceedings{conf/apsec/LeelapruteTKNM05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Leelaprute, Pattara and Tsuchiya, Tatsuhiro and Kikuno, Tohru and Nakamura, Masahide and ichi Matsumoto, Ken}, biburl = {https://www.bibsonomy.org/bibtex/29e0fecb85a6b97cdbe1ff44b06f1bca3/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2005.59}, interhash = {c890dabd2ed9f8ef653f99d413326523}, intrahash = {9e0fecb85a6b97cdbe1ff44b06f1bca3}, isbn = {0-7695-2465-6}, keywords = {dblp}, pages = {549-560}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:46:47.000+0200}, title = {Describing and Verifying Integrated Services of Home Network Systems.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2005.html#LeelapruteTKNM05}, year = 2005 }