Affordable Access

A prototype model checker for Duration Calculus

Authors
Publisher
DTU Informatik, Danmarks Tekniske Universitet
Publication Date

Abstract

A prototype model checker for Duration Calculus - DTU Orbit (27/04/14) A prototype model checker for Duration Calculus - DTU Orbit (27/04/14) A prototype model checker for Duration Calculus Heise, W. P., Fränzle, M. & Hansen, M. R. 2009 21st Nordic Workshop on Programming Theory (NWPT'09). DTU Informatik, Danmarks Tekniske Universitet, p. 26-29 Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

There are no comments yet on this publication. Be the first to share your thoughts.