Périodique

Generalizing the DS-Methods for Testing Non-Deterministic FSMs

Petrenko, A. and Simao, A. "Generalizing the DS-Methods for Testing Non-Deterministic FSMs" The Computer Journal, 58 (7) 2015 : 1656-1672