Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems

200384 citationsJournal Article

Authors

Quality Education

Published in: Formal Methods in System Design

Volume 23, Issue 1, pp. 5-37

Field-Weighted Citation Impact: 6.23