Search results for: Hillel Kugler
Molecular Reproduction and Development > 83 > 11 > 944 - 957
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Biological Systems > 343-357
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Prototyping and Synthesis > 378-398
Biosystems > 2016 > 146 > C > 26-34
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 325-354
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Protocols Analysis, Case Studies, and Tools > 414-428
Lecture Notes in Computer Science > Computational Methods in Systems Biology > Invited Papers > 4-20
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Synthesis and Adaptation > 79-93
Lecture Notes in Computer Science > SOFSEM 2010: Theory and Practice of Computer Science > Regular Papers > 477-488
Lecture Notes in Computer Science > Formal Methods in Software and Systems Modeling > Formal and Visual Modeling > 309-324
Lecture Notes in Computer Science > Implementation and Application of Automata > Invited Lectures > 1-33
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Game-Theoretic Approaches > 77-91
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing > 306-320
Lecture Notes in Computer Science > Scenarios: Models, Transformations and Tools > Scenarios: Models, Transformations and Tools > 26-42
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Specification, Program Synthesis > 445-460
Lecture Notes in Computer Science > «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications > Verification and Model Consistency > 335-349