%0 Conference Paper %1 conf/ispa/IsazadehKI07a %A Isazadeh, Ayaz %A Karimpour, Jaber %A Isazadeh, Hosein %B ISPA Workshops %D 2007 %E Thulasiraman, Parimala %E He, Xubin %E Xu, Tony Li %E Denko, Mieso K. %E Thulasiram, Ruppa K. %E Yang, Laurence Tianruo %I Springer %K dblp %P 355-364 %T A New Formalism for Describing Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/ispa/ispa2007w.html#IsazadehKI07a %V 4743 %@ 978-3-540-74766-6

@inproceedings{conf/ispa/IsazadehKI07a, added-at = {2024-02-05T00:00:00.000+0100}, author = {Isazadeh, Ayaz and Karimpour, Jaber and Isazadeh, Hosein}, biburl = {https://www.bibsonomy.org/bibtex/2a1d5a146cb08e6cb0b655325dd5aae80/dblp}, booktitle = {ISPA Workshops}, crossref = {conf/ispa/2007w}, editor = {Thulasiraman, Parimala and He, Xubin and Xu, Tony Li and Denko, Mieso K. and Thulasiram, Ruppa K. and Yang, Laurence Tianruo}, ee = {https://doi.org/10.1007/978-3-540-74767-3_37}, interhash = {01b8df84f0abcc7af5a801236ddea67c}, intrahash = {a1d5a146cb08e6cb0b655325dd5aae80}, isbn = {978-3-540-74766-6}, keywords = {dblp}, pages = {355-364}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:06:07.000+0200}, title = {A New Formalism for Describing Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/ispa/ispa2007w.html#IsazadehKI07a}, volume = 4743, year = 2007 }