%0 Journal Article %1 journals/fmsd/AzimiCKLMP03 %A Azimi, Mani %A Chou, Ching-Tsun %A Kumar, Akhilesh %A Lee, Victor W. %A Mannava, Phanindra K. %A Park, Seungjoon %D 2003 %J Formal Methods Syst. Des. %K dblp %N 2 %P 109-116 %T Experience with Applying Formal Methods to Protocol Specification and System Architecture. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd22.html#AzimiCKLMP03 %V 22

@article{journals/fmsd/AzimiCKLMP03, added-at = {2020-03-13T00:00:00.000+0100}, author = {Azimi, Mani and Chou, Ching-Tsun and Kumar, Akhilesh and Lee, Victor W. and Mannava, Phanindra K. and Park, Seungjoon}, biburl = {https://www.bibsonomy.org/bibtex/22df82a862612627ab080d49a37610120/dblp}, ee = {https://doi.org/10.1023/A:1022965204416}, interhash = {1b7f513f8bd14e62fe55426bc6b09122}, intrahash = {2df82a862612627ab080d49a37610120}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {109-116}, timestamp = {2020-03-14T11:51:10.000+0100}, title = {Experience with Applying Formal Methods to Protocol Specification and System Architecture.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd22.html#AzimiCKLMP03}, volume = 22, year = 2003 }