Analysis of a distributed system for lifting trucks

Autor: Groote, J.F, Pang, J, Wouters, A.G
Zdroj: In Journal of Logic and Algebraic Programming March-April 2003 55(1-2):21-56
Databáze: ScienceDirect