Acte de conférence, colloque et atelier

Learning Communicating State Machines

Petrenko, A. et Avellaneda, F. "Learning Communicating State Machines" dans 13th International Conference on Tests and Proofs (TAP 2019). Porto, Portugal, du 9 au 11 octobre 2019