%0 Journal Article %1 journals/sosym/ApvrilleSK06 %A Apvrille, Ludovic %A de Saqui-Sannes, Pierre %A Khendek, Ferhat %D 2006 %J Softw. Syst. Model. %K dblp %N 4 %P 449-466 %T TURTLE-P: a UML profile for the formal validation of critical and distributed systems. %U http://dblp.uni-trier.de/db/journals/sosym/sosym5.html#ApvrilleSK06 %V 5

@article{journals/sosym/ApvrilleSK06, added-at = {2023-08-28T00:00:00.000+0200}, author = {Apvrille, Ludovic and de Saqui-Sannes, Pierre and Khendek, Ferhat}, biburl = {https://www.bibsonomy.org/bibtex/20a1164e6298a6a4f6c53ee7e3f55317a/dblp}, ee = {https://www.wikidata.org/entity/Q120833165}, interhash = {2ab268acff0c0aa98149077b9b40199c}, intrahash = {0a1164e6298a6a4f6c53ee7e3f55317a}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 4, pages = {449-466}, timestamp = {2024-04-08T12:54:32.000+0200}, title = {TURTLE-P: a UML profile for the formal validation of critical and distributed systems.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym5.html#ApvrilleSK06}, volume = 5, year = 2006 }