Search results for: Nikola Trčka
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2008 > New Tendencies and Approaches > 898-913
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 132-148
Lecture Notes in Computer Science > Model Checking Software > Checking Temporal Properties > 185-199
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Session 10: Process Analysis > 530-544
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 90-105
Lecture Notes in Business Information Processing > Business Information Systems > Session 6. Data Mining for Processes > 218-229
Theoretical Computer Science > 2012 > 413 > 1 > 58-72
Information Systems > 2011 > 36 > 7 > 1026-1043
Concurrency and Computation: Practice and Experience > 22 > 11 > 1365 - 1385
Electronic Notes in Theoretical Computer Science > 2008 > 220 > 3 > 129-143