![]() | ![]() |
| 2010 | ||
|---|---|---|
| 2 | Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu: Handling State-Machines Specifications with GATeL. Electr. Notes Theor. Comput. Sci. 264(3): 3-17 (2010) | |
| 2005 | ||
| 1 | Bruno Marre, Benjamin Blanc: Test Selection Strategies for Lustre Descriptions in GATeL. Electr. Notes Theor. Comput. Sci. 111: 93-111 (2005) | |
| 1 | Olivier Andrieu | [2] |
| 2 | Pascale Le Gall | [2] |
| 3 | Christophe Junke | [2] |
| 4 | Bruno Marre | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page