%0 Journal Article %1 journals/jcsc/GawanmehTMH07 %A Gawanmeh, Amjad %A Tahar, Sofiène %A Moinudeen, Haja %A Habibi, Ali %D 2007 %J Journal of Circuits, Systems, and Computers %K %N 6 %P 859-881 %T A Design for Verification Approach Using an Embedding of PSL in aSML. %U http://dblp.uni-trier.de/db/journals/jcsc/jcsc16.html#GawanmehTMH07 %V 16

@article{journals/jcsc/GawanmehTMH07, added-at = {2023-12-12T18:00:12.000+0100}, author = {Gawanmeh, Amjad and Tahar, Sofiène and Moinudeen, Haja and Habibi, Ali}, biburl = {https://www.bibsonomy.org/bibtex/28915e76c611e15137828b578de991de0/admin}, date = {2008-07-08}, ee = {http://dx.doi.org/10.1142/S0218126607004052}, interhash = {0bf7c0a5fb7181b690b0e3fb834b1806}, intrahash = {8915e76c611e15137828b578de991de0}, journal = {Journal of Circuits, Systems, and Computers}, keywords = {}, number = 6, pages = {859-881}, timestamp = {2023-12-12T18:00:12.000+0100}, title = {A Design for Verification Approach Using an Embedding of PSL in aSML.}, url = {http://dblp.uni-trier.de/db/journals/jcsc/jcsc16.html#GawanmehTMH07}, volume = 16, year = 2007 }