%0 Conference Paper %1 conf/isda/BujangS08 %A Bujang, Siti Dianah Abdul %A Selamat, Ali %B ISDA (2) %D 2008 %E Pan, Jeng-Shyang %E Abraham, Ajith %E Chang, Chin-Chen %I IEEE Computer Society %K dblp %P 217-222 %T Verification of Mobile SMS Application with Model Checking Agent. %U http://dblp.uni-trier.de/db/conf/isda/isda2008-2.html#BujangS08 %@ 978-0-7695-3382-7

@inproceedings{conf/isda/BujangS08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Bujang, Siti Dianah Abdul and Selamat, Ali}, biburl = {https://www.bibsonomy.org/bibtex/2fea51e5649a0ddaf83b240e8072727ac/dblp}, booktitle = {ISDA (2)}, crossref = {conf/isda/2008}, editor = {Pan, Jeng-Shyang and Abraham, Ajith and Chang, Chin-Chen}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISDA.2008.182}, interhash = {f2638ad7cf633d229a7c2272b39bb450}, intrahash = {fea51e5649a0ddaf83b240e8072727ac}, isbn = {978-0-7695-3382-7}, keywords = {dblp}, pages = {217-222}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:38:25.000+0200}, title = {Verification of Mobile SMS Application with Model Checking Agent.}, url = {http://dblp.uni-trier.de/db/conf/isda/isda2008-2.html#BujangS08}, year = 2008 }