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