A Toolchain for the Detection of Structural and Behavioral Latent System Properties.

Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson

Browse the full MODELS paper archive.