Search results
International Journal on Digital Libraries > 2019 > 20 > 4 > 433-452
Linguistics and Philosophy > 2018 > 41 > 4 > 423-455
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
Journal of Internet Services and Applications > 2015 > 6 > 1 > 1-23
Reading and Writing > 2015 > 28 > 1 > 9-30
Annals of Mathematics and Artificial Intelligence > 2015 > 73 > 1-2 > 167-203