%0 Journal Article %1 journals/tjs/IsazadehK09 %A Isazadeh, Ayaz %A Karimpour, Jaber %D 2009 %J J. Supercomput. %K dblp %N 3 %P 334-353 %T A new formalism for mathematical description and verification of component-based systems. %U http://dblp.uni-trier.de/db/journals/tjs/tjs49.html#IsazadehK09 %V 49

@article{journals/tjs/IsazadehK09, added-at = {2024-02-05T00:00:00.000+0100}, author = {Isazadeh, Ayaz and Karimpour, Jaber}, biburl = {https://www.bibsonomy.org/bibtex/2f49fdca722516c878d876027aa13b85c/dblp}, ee = {https://doi.org/10.1007/s11227-008-0240-y}, interhash = {200e38745bab9040bdf233e53e4d0c6b}, intrahash = {f49fdca722516c878d876027aa13b85c}, journal = {J. Supercomput.}, keywords = {dblp}, number = 3, pages = {334-353}, timestamp = {2024-04-08T14:35:33.000+0200}, title = {A new formalism for mathematical description and verification of component-based systems.}, url = {http://dblp.uni-trier.de/db/journals/tjs/tjs49.html#IsazadehK09}, volume = 49, year = 2009 }