WorldCat Identities

Reicherdt, Robert

Works: 1 works in 1 publications in 1 language and 16 library holdings
Roles: Author
Publication Timeline
Most widely held works by Robert Reicherdt
A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie by Robert Reicherdt( )

1 edition published in 2015 in English and held by 16 WorldCat member libraries worldwide

Audience Level
Audience Level
  General Special  
Audience level: 0.92 (from 0.92 for A framewor ... to 0.92 for A framewor ...)

WorldCat IdentitiesRelated Identities