Modal Action Logics for Reasoning about Reactive Systems

Jan Broersen

Modal Action Logics for Reasoning about Reactive Systems - hall 2003 - 244

9090166114

160BRO