- Title:
- A dynamic logic for verification of synchronous models based on theorem proving
- Authors:
- Source:
- Frontiers of Computer Science. 16(4)
Academic Journal
Dear user, the application need JavaScript support. Please enable JavaScript in your browser.