%0 Journal Article %1 journals/fac/JebaliLM16 %A Jebali, Fatma %A Lang, Frédéric %A Mateescu, Radu %D 2016 %J Formal Asp. Comput. %K %N 5 %P 767-804 %T Formal modelling and verification of GALS systems using GRL and CADP. %U http://dblp.uni-trier.de/db/journals/fac/fac28.html#JebaliLM16 %V 28

@article{journals/fac/JebaliLM16, added-at = {2023-12-13T10:26:25.000+0100}, author = {Jebali, Fatma and Lang, Frédéric and Mateescu, Radu}, biburl = {https://www.bibsonomy.org/bibtex/257369fde668508dfbc3668ff5a109ba8/admin}, ee = {http://dx.doi.org/10.1007/s00165-016-0373-3}, interhash = {d76c84e1a96f48d12aa96b015fe58466}, intrahash = {57369fde668508dfbc3668ff5a109ba8}, journal = {Formal Asp. Comput.}, keywords = {}, number = 5, pages = {767-804}, timestamp = {2023-12-13T10:26:25.000+0100}, title = {Formal modelling and verification of GALS systems using GRL and CADP.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac28.html#JebaliLM16}, volume = 28, year = 2016 }