Marko Vještica, Vladimir Dimitrieski, Milan Pisarić, Slavica Kordić, Sonja Ristić and Ivan Luković

Towards a Formal Specification of Production Processes Suitable for Automatic Execution

De Gruyter | 2021