Modal Action Logics for Reasoning about Reactive Systems
DSpace/Manakin Repository
Modal Action Logics for Reasoning about Reactive Systems
Broersen, J.M.
(2003) Utrecht University Repository
(Dissertation)
Download/Full Text
Open Access version via Utrecht University Repository
ISBN: 90-9016611-4
Publisher: Vrije Universiteit Amsterdam
See
more statistics
about this item