%0 Conference Paper %1 conf/cicsyn/KangPCNS12 %A Kang, Miyoung %A Park, Junkil %A Choi, Jin-Young %A Nam, Ki-Hyuk %A Shin, Myung-Ki %B CICSyN %D 2012 %E Al-Dabass, David %E Tandayya, Pichaya %E Yunus, Jasmy %E Heednacram, Apichat %E Ibrahim, Zuwairie %I IEEE %K dblp %P 359-363 %T Process Algebraic Specification of Software Defined Networks. %U http://dblp.uni-trier.de/db/conf/cicsyn/cicsyn2012.html#KangPCNS12 %@ 978-1-4673-2640-7

@inproceedings{conf/cicsyn/KangPCNS12, added-at = {2024-05-07T00:00:00.000+0200}, author = {Kang, Miyoung and Park, Junkil and Choi, Jin-Young and Nam, Ki-Hyuk and Shin, Myung-Ki}, biburl = {https://www.bibsonomy.org/bibtex/26d49832e904b44cd0bbc9b3a14caa5e7/dblp}, booktitle = {CICSyN}, crossref = {conf/cicsyn/2012}, editor = {Al-Dabass, David and Tandayya, Pichaya and Yunus, Jasmy and Heednacram, Apichat and Ibrahim, Zuwairie}, ee = {https://doi.org/10.1109/CICSyN.2012.72}, interhash = {f83947066edfb176f337075ec8ece37a}, intrahash = {6d49832e904b44cd0bbc9b3a14caa5e7}, isbn = {978-1-4673-2640-7}, keywords = {dblp}, pages = {359-363}, publisher = {IEEE}, timestamp = {2024-05-13T10:09:43.000+0200}, title = {Process Algebraic Specification of Software Defined Networks.}, url = {http://dblp.uni-trier.de/db/conf/cicsyn/cicsyn2012.html#KangPCNS12}, year = 2012 }