Sharing Actions and Attributes in Modal Action Logic (1991)

Cached

Download Links

by Mark Ryan , José Fiadeiro , Tom Maibaum
Venue:Theoretical Aspects of Computer Software
Citations:34 - 5 self