Search alternatives:
translating » translational
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in the specification language Glider -- On certification of specifications for TROLL light objects -- Translating TROLL...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- A Fully Abstract Model for Graph-Interpreted Temporal Logic -- More About Control Conditions...”