Wyniki wyszukiwania dla: Franjo Ivančić
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 322-336
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification II > 505-518
Lecture Notes in Computer Science > Computer Aided Verification > Session 5. Abstraction/Refinement > 137-151
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking – II > 188-202
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Short Papers > 654-657
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction and Reduction > 397-412
Lecture Notes in Computer Science > High Performance Computing — HiPC 2002 > Biocomputation > 702-712
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 4-19
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 326-341
Lecture Notes in Computer Science > Computer Aided Verification > Session XII: Abstraction > 352-365
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 82-95