Cover Image
Read Now

1
Published 2000
Springer Netherlands
“... linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties...”