Verification of safety properties for parameterized regular systems

David Cachera, Katell Morin-Allory. Verification of safety properties for parameterized regular systems. ACM Trans. Embedded Comput. Syst., 4(2):228-266, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.