%0 Conference Paper %1 conf/itng/AoumeurBS08 %A Aoumeur, Nasreddine %A Barkaoui, Kamel %A Saake, Gunter %B ITNG %D 2008 %E Latifi, Shahram %I IEEE Computer Society %K dblp %P 1305-1307 %T Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. %U http://dblp.uni-trier.de/db/conf/itng/itng2008.html#AoumeurBS08 %@ 978-0-7695-3099-4

@inproceedings{conf/itng/AoumeurBS08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Aoumeur, Nasreddine and Barkaoui, Kamel and Saake, Gunter}, biburl = {https://www.bibsonomy.org/bibtex/255046b2d02101322e6bbf19bd979c8b3/dblp}, booktitle = {ITNG}, crossref = {conf/itng/2008}, editor = {Latifi, Shahram}, ee = {https://doi.ieeecomputersociety.org/10.1109/ITNG.2008.268}, interhash = {352774a72b314cdf1d0efc60c2f1e21e}, intrahash = {55046b2d02101322e6bbf19bd979c8b3}, isbn = {978-0-7695-3099-4}, keywords = {dblp}, pages = {1305-1307}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:12:43.000+0200}, title = {Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.}, url = {http://dblp.uni-trier.de/db/conf/itng/itng2008.html#AoumeurBS08}, year = 2008 }