Publication:4255565
From MaRDI portal
zbMath0943.68112MaRDI QIDQ4255565
Armin Biere, Yunshan Zhu, Edmund M. Clarke
Publication date: 17 August 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=23&iss=2#23.2.005
68Q60: Specification and verification (program logics, model checking, etc.)