Article Dans Une Revue
IEEE Transactions on Software Engineering
Année : 2010
Stefan Haar : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00779922
Soumis le : mardi 22 janvier 2013-17:10:51
Dernière modification le : lundi 13 novembre 2023-10:56:04
Citer
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from~MSCs. IEEE Transactions on Software Engineering, 2010, 36 (3), pp.390-408. ⟨10.1109/TSE.2009.89⟩. ⟨hal-00779922⟩
Collections
111
Consultations
0
Téléchargements