%0 Conference Paper %1 conf/icaart/MarirMS13 %A Marir, Toufik %A Mokhati, Farid %A Seridi-Bouchelaghem, Hassina %B ICAART (1) %D 2013 %E Filipe, Joaquim %E Fred, Ana L. N. %I SciTePress %K dblp %P 411-414 %T Formalizing SIMBA RTMAS Models using Real-time Maude. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2013-1.html#MarirMS13 %@ 978-989-8565-38-9

@inproceedings{conf/icaart/MarirMS13, added-at = {2013-10-01T00:00:00.000+0200}, author = {Marir, Toufik and Mokhati, Farid and Seridi-Bouchelaghem, Hassina}, biburl = {https://www.bibsonomy.org/bibtex/2a2de7b28f776d03e03f3bc1b4c0ca1b8/dblp}, booktitle = {ICAART (1)}, crossref = {conf/icaart/2013-1}, editor = {Filipe, Joaquim and Fred, Ana L. N.}, interhash = {b2ee42a3605c31d7f2dbd51040e9343c}, intrahash = {a2de7b28f776d03e03f3bc1b4c0ca1b8}, isbn = {978-989-8565-38-9}, keywords = {dblp}, pages = {411-414}, publisher = {SciTePress}, timestamp = {2013-10-02T11:34:13.000+0200}, title = {Formalizing SIMBA RTMAS Models using Real-time Maude.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2013-1.html#MarirMS13}, year = 2013 }