Concurrent MetateM - A language for modelling reactive systems
(1993) : Fisher, Michael
DOI: https://doi.org/10.1007/3-540-56891-3_15
#MAS #logic #reactive_systems #temporal_logic #concurrency #METATEM #my_bibtex

Concurrent MetateM - A language for modelling reactive systems
(1993) : Fisher, Michael
DOI: https://doi.org/10.1007/3-540-56891-3_15
#logic #reactive_systems #METATEM #concurrency #MAS #temporal_logic #my_bibtex

Concurrent MetateM - A language for modelling reactive systems
(1993) : Fisher, Michael
DOI: https://doi.org/10.1007/3-540-56891-3_15
#METATEM #MAS #reactive_systems #temporal_logic #concurrency #logic #my_bibtex

Concurrent MetateM - A language for modelling reactive systems
(1993) : Michael Fisher
DOI: https://doi.org/10.1007/3-540-56891-3_15
#MAS #METATEM #concurrency #logic #reactive_systems #temporal_logic
#my_bibtex