Search results
Lecture Notes in Computer Science > Virtual Storytelling. Using Virtual Reality Technologies for Storytelling > Behavior Modelling > 102-113
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Lectures > 47-58
Lecture Notes in Computer Science > Advanced Parallel Processing Technologies > Session 8 – Software Engineering > 600-607
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Petri Nets > 211-225
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Established Formalisms and Standards > 293-307
Lecture Notes in Computer Science > FM’99 — Formal Methods > European Theory and Practice of Software (ETAPS) > 1087-1106
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 386-400
Lecture Notes in Computer Science > LATIN 2006: Theoretical Informatics > Regular Contributions > 105-117