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

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