Using timed automata and model-checking to simulate material flow in agricultural production systems—Application to animal waste management
In: Computers and Electronics in Agriculture, Band 63, Heft 2, S. 183-192
24 Ergebnisse
Sortierung:
In: Computers and Electronics in Agriculture, Band 63, Heft 2, S. 183-192
In: Waste management: international journal of integrated waste management, science and technology, Band 85, S. 498-505
ISSN: 1879-2456
In: Towards Life Cycle Sustainability Management, S. 119-130
In: Towards Life Cycle Sustainability Management, S. 85-96
In: WM-23-2902
SSRN
In: Waste management: international journal of integrated waste management, science and technology, Band 70, S. 59-70
ISSN: 1879-2456
In: BITE-D-23-07068
SSRN
In: Waste management: international journal of integrated waste management, science and technology, Band 122, S. 36-48
ISSN: 1879-2456
In: Waste management: international journal of integrated waste management, science and technology, Band 34, Heft 5, S. 875-885
ISSN: 1879-2456
In: Waste management: international journal of integrated waste management, science and technology, Band 31, Heft 9-10, S. 1916-1923
ISSN: 1879-2456
In: Waste management: international journal of integrated waste management, science and technology, Band 48, S. 389-396
ISSN: 1879-2456
SSRN
In: Waste management: international journal of integrated waste management, science and technology, Band 181, S. 1-10
ISSN: 1879-2456
In: Waste management: international journal of integrated waste management, science and technology, Band 59, S. 140-148
ISSN: 1879-2456
In: Environmental science and pollution research: ESPR
ISSN: 1614-7499