Search results for: Philippe Darondeau
Discrete Event Dynamic Systems > 2015 > 25 > 1-2 > 251-270
IEEE Transactions on Automatic Control > 2010 > 55 > 5 > 1089 - 1100
Discrete Event Dynamic Systems > 2015 > 25 > 1-2 > 251-270
IEEE Transactions on Automatic Control > 2010 > 55 > 5 > 1089 - 1100