%0 Journal Article %1 journals/ijssoe/ArousSI15 %A Arous, Mokdad %A Saïdouni, Djamel-Eddine %A Ilié, Jean-Michel %D 2015 %J Int. J. Syst. Serv. Oriented Eng. %K dblp %N 1 %P 1-15 %T An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems. %U http://dblp.uni-trier.de/db/journals/ijssoe/ijssoe5.html#ArousSI15 %V 5

@article{journals/ijssoe/ArousSI15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Arous, Mokdad and Saïdouni, Djamel-Eddine and Ilié, Jean-Michel}, biburl = {https://www.bibsonomy.org/bibtex/2401575bcf6e204db157c6fc5a03641ae/dblp}, ee = {https://doi.org/10.4018/IJSSOE.2015010101}, interhash = {d838ca161b2f16291e96a714c8601cfe}, intrahash = {401575bcf6e204db157c6fc5a03641ae}, journal = {Int. J. Syst. Serv. Oriented Eng.}, keywords = {dblp}, number = 1, pages = {1-15}, timestamp = {2024-04-08T17:14:38.000+0200}, title = {An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/journals/ijssoe/ijssoe5.html#ArousSI15}, volume = 5, year = 2015 }