Search results for: Leszek Holenderski
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking Tools > 363-377
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Verification > 214-227
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 518-533
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 1 > 92-106
Formal Methods in System Design > 1998 > 12 > 2 > 163-187