Formalization of a multi-agent system using Z notationApplication to a system for oil spill location
Publisher: Instituto Universitario de Matemática Multidisciplinar
ISBN: 978-84-608-5355-8
Year of publication: 2015
Pages: 228-235
Type: Book chapter