"Model-checking precision agriculture logistics: the case of the ..."

Rim Saddem-Yagoubi et al. (2020)

Details and statistics

DOI: 10.1007/S10626-020-00313-1

access: closed

type: Journal Article

metadata version: 2022-10-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics