Skip to Main content Skip to Navigation
Journal articles

Learning Communicating Automata from~MSCs

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00779922
Contributor : Stefan Haar <>
Submitted on : Tuesday, January 22, 2013 - 5:10:51 PM
Last modification on : Monday, February 15, 2021 - 10:50:11 AM

Identifiers

Citation

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from~MSCs. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36 (3), pp.390-408. ⟨10.1109/TSE.2009.89⟩. ⟨hal-00779922⟩

Share

Metrics

Record views

360