Search results
Theoretical Computer Science > 2014 > 547 > Complete > 46-69
Computer Applications in Engineering Education > 30 > 1 > 275 - 291
Annals of Computer Science and Information Systems > 2021 > Vol. 25 > 485--488
Computer Applications in Engineering Education > 27 > 5 > 1064 - 1072
IET Computers & Digital Techniques > 2017 > 11 > 6 > 205 - 213
Fundamenta Informaticae > 2017 > Vol. 156, nr 1 > 69--94
Theory of Computing Systems > 2018 > 62 > 3 > 467-480
Theory of Computing Systems > 2017 > 61 > 4 > 1254-1287
Theoretical Computer Science > 2017 > 679 > C > 53-68
Theory of Computing Systems > 2017 > 61 > 2 > 536-580
IET Cyber-Physical Systems: Theory & Applications > 2017 > 2 > 1 > 28 - 41
Journal of Logic, Language and Information > 2017 > 26 > 2 > 179-214
Journal of Automated Reasoning > 2018 > 60 > 2 > 177-220
Chinese Journal of Electronics > 2017 > 26 > 2 > 299 - 305
Autobusy : technika, eksploatacja, systemy transportowe > 2017 > R. 18, nr 6 > 1322--1326, CD
Neural Networks > 2017 > 85 > C > 85-105
Autobusy : technika, eksploatacja, systemy transportowe > 2017 > R. 18, nr 12 > 1473--1477, CD
Formal Methods in System Design > 2016 > 49 > 3 > 219-271