Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations

Antonella Santone, Gigliola Vaglini. Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. Journal of Automated Reasoning, 30(1):33-58, 2003.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.