Search results for: Mila Majster-Cederbaum
Lecture Notes in Computer Science > SPIN Model Checking and Software Verification > Papers > 163-180
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 8. Components > 325-340
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods > 253-267
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 201-224
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Semantics > 65-79
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Poster Session Abstracts > 379-380
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 351-365
Lecture Notes in Computer Science > SOFSEM 2007: Theory and Practice of Computer Science > Dependable Software and Systems > 888-899
Lecture Notes in Computer Science > SOFSEM 2007: Theory and Practice of Computer Science > Foundations of Computer Science > 295-308
Lecture Notes in Computer Science > SOFSEM 2008: Theory and Practice of Computer Science > Foundations of Computer Science > 352-363
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Selected Papers > 77-94
Science of Computer Programming > 2015 > 98 > Part 4 > 516-530
Science of Computer Programming > 2013 > 78 > 12 > 2488-2510
Formal Methods in System Design > 2012 > 41 > 2 > 129-177