Search results
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 235-251
Science of Computer Programming > 2018 > 164 > C > 98-115
IEEE Transactions on Network and Service Management > 2017 > 14 > 4 > 1113 - 1127
IET Circuits, Devices & Systems > 2017 > 11 > 4 > 395 - 403
European Journal of Operational Research > 2017 > 259 > 3 > 887-897
Systemy Wspomagania w Inżynierii Produkcji > 2017 > Vol. 6, iss. 7 > 84--96
Formal Methods in System Design > 2016 > 49 > 3 > 272-323
Journal of Intelligent Information Systems > 2017 > 49 > 1 > 59-86
The International Series in Engineering and Computer Science > Artificial Intelligence in Logic Design > 259-283
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 276-291
Annals of Mathematics and Artificial Intelligence > 2017 > 79 > 1-3 > 145-162
Constraints > 2016 > 21 > 4 > 533-556
Advanced Formal Verification > 77-123
Artificial Intelligence > 2015 > 229 > C > 1-32
Advanced Formal Verification > 77-123
Constraints > 2015 > 20 > 3 > 346-361