%0 Journal Article %1 noauthororeditor %A Ramesh, S.M. %A Gomathy, B. %A Sundararajan, T.V.P. %D 2018 %J International Journal of Engineering and Management Research %K AMS Formal Hybrid Labeled Net Petri SoC Symbolic computing verification %N 4 %P 43-45 %R doi.org/10.31033/ijemr.8.4.4 %T AMS SoC Formal Verification based on Hybrid Scheme %U http://www.ijemr.net/DOC/AMSSoCFormalVerificationBasedOnHybridScheme.pdf %V 8

@article{noauthororeditor, added-at = {2018-09-23T09:16:42.000+0200}, author = {Ramesh, S.M. and Gomathy, B. and Sundararajan, T.V.P.}, biburl = {https://www.bibsonomy.org/bibtex/240c9203c11505972329ebe439a4d57e2/amarjeetsingh}, doi = {doi.org/10.31033/ijemr.8.4.4}, interhash = {54a63e3925a23ced748c0f3743ab2985}, intrahash = {40c9203c11505972329ebe439a4d57e2}, issn = {2250-0758}, journal = {International Journal of Engineering and Management Research}, keywords = {AMS Formal Hybrid Labeled Net Petri SoC Symbolic computing verification}, language = {English}, month = {August}, number = 4, pages = {43-45}, timestamp = {2018-09-23T09:16:42.000+0200}, title = {AMS SoC Formal Verification based on Hybrid Scheme}, url = {http://www.ijemr.net/DOC/AMSSoCFormalVerificationBasedOnHybridScheme.pdf}, volume = 8, year = 2018 }