Search alternatives:
allocation » location

1
Published 2000
Springer US
Table of Contents: ...Verification of IL Programs with an Explicit Model of their PLC Execution -- A Two Phase...