1
Published 1997
Springer Berlin Heidelberg
Subjects: ...Machine theory...

2
Published 2009
Springer Berlin Heidelberg
Subjects: ...Machine theory...

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... models in the specification and verification of protocols -- Human-machine interaction and role/function...

4
Published 1987
Springer Berlin Heidelberg
... communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets...