DMCA

Automated property verification for large scale b models. submitted (2009)

by Michael Leuschel , Fabian Fritz , Daniel Plagge
Citations:14 - 3 self