%0 Journal Article %1 journals/tase/MokademBGSR10 %A Mokadem, Houda Bel %A Bérard, Béatrice %A Gourcuff, V. %A Smet, O. De %A Roussel, J. %D 2010 %J IEEE Trans Autom. Sci. Eng. %K dblp %N 4 %P 921-932 %T Verification of a Timed Multitask System With Uppaal. %U http://dblp.uni-trier.de/db/journals/tase/tase7.html#MokademBGSR10 %V 7

@article{journals/tase/MokademBGSR10, added-at = {2020-04-02T00:00:00.000+0200}, author = {Mokadem, Houda Bel and Bérard, Béatrice and Gourcuff, V. and Smet, O. De and Roussel, J.}, biburl = {https://www.bibsonomy.org/bibtex/2787203ef487c1fe8b426b5ba07ed6010/dblp}, ee = {https://doi.org/10.1109/TASE.2010.2050199}, interhash = {5e213d9ae2c9c1563d20a12f851a70ae}, intrahash = {787203ef487c1fe8b426b5ba07ed6010}, journal = {IEEE Trans Autom. Sci. Eng.}, keywords = {dblp}, number = 4, pages = {921-932}, timestamp = {2020-04-03T12:03:24.000+0200}, title = {Verification of a Timed Multitask System With Uppaal.}, url = {http://dblp.uni-trier.de/db/journals/tase/tase7.html#MokademBGSR10}, volume = 7, year = 2010 }