Compositional Analysis of Dynamical Systems using Predicate Transformers (Summary). (1993)

by Sintzoff And Geurts , M. Sintzoff , F. Geurts
Citations:13 - 7 self