WorldCat Identities

Reicherdt, Robert

Overview
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
0
Audience Level
1
  General Special  
Audience level: 0.92 (from 0.92 for A framewor ... to 0.92 for A framewor ...)

WorldCat IdentitiesRelated Identities
Languages