Search results
IEEE Transactions on Industrial Informatics > 2017 > 13 > 6 > 3350 - 3360
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Application > 185-200
Fundamenta Informaticae > 2016 > Vol. 143, nr 1/2 > 19--34
Cryptography and Communications > 2016 > 8 > 1 > 1-6
Russian Agricultural Sciences > 2013 > 39 > 2 > 191-192
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and... > 2011 > 41 > 2 > 213 - 225
Petri Nets > Verification and Application of Petri Nets > 481 - 500
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie > 2008 > T. 12, z. 3 > 945-956
Discrete & Computational Geometry > 2005 > 33 > 3 > 463-481
Elektrotechnika i Elektronika > 2000 > T. 19, z. 1 > 38--44
Journal of Intelligent Manufacturing > 2000 > 11 > 2 > 135-143
IEE Proceedings E - Computers and Digital Techniques > 1986 > 133 > 5 > 276 - 282