AN INTRODUCTION TO MODAL LOGIC AND ITS APPLICATIONS ON THE CONCURRENCY WORKBENCH

Date
1992-03-01
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
No Abstract
Description
Keywords
Computer Science
Citation