%0 Journal Article %1 journals/scp/KhamespanahSSKI15 %A Khamespanah, Ehsan %A Sirjani, Marjan %A Sabahi-Kaviani, Zeynab %A Khosravi, Ramtin %A Izadi, Mohammad-Javad %D 2015 %J Sci. Comput. Program. %K dblp %P 184-204 %T Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. %U http://dblp.uni-trier.de/db/journals/scp/scp98.html#KhamespanahSSKI15 %V 98

@article{journals/scp/KhamespanahSSKI15, added-at = {2021-02-17T00:00:00.000+0100}, author = {Khamespanah, Ehsan and Sirjani, Marjan and Sabahi-Kaviani, Zeynab and Khosravi, Ramtin and Izadi, Mohammad-Javad}, biburl = {https://www.bibsonomy.org/bibtex/231a29c4e7cff55f8ce7b0aec13f515bb/dblp}, ee = {https://doi.org/10.1016/j.scico.2014.07.005}, interhash = {a6dc406f936e762a511bc682191dd412}, intrahash = {31a29c4e7cff55f8ce7b0aec13f515bb}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {184-204}, timestamp = {2024-04-09T05:29:09.000+0200}, title = {Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp98.html#KhamespanahSSKI15}, volume = 98, year = 2015 }