Search alternatives:
interpreting » interpreters
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... for Certificate Translation -- Process Algebra -- Algorithmic Verification with Multiple and Nested Parameters...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis...”
Cover Image
Read Now

3
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way -- Symbolic Predictive...”