00251nam a22001217a 4500 9780262026499 004.24 CHRISTEL BAIER PRINCIPLES OF MODEL CHECKING USA MIT PRESS 975 BK 23246 23246 0 0 0 0 RCMS RCMS GEN 2013-03-06 1 004.24 RCMS001667 2018-06-08 2016-09-20 2017-01-05 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 1 004.24 RCMS001668 2018-09-13 2016-09-20 2017-01-05 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 1 004.24 RCMS001669 2016-10-05 2016-09-20 2017-01-05 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 0 004.24 RCMS001670 2013-03-06 2017-01-05 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 3 004.24 RCMS001671 2021-12-13 2018-02-28 2017-01-05 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 0 004.24 RCMS001672 2013-03-06 2017-01-05 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 0 004.24 RCMS001673 2013-03-06 2017-01-05 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 0 004.24 RCMS001659 2013-03-06 2013-03-06 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 2 004.24 RCMS001660 2016-09-23 2016-09-23 2013-03-06 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 1 004.24 RCMS001661 2014-09-04 2014-09-04 2013-03-06 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 0 004.24 RCMS001662 2013-03-06 2013-03-06 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 2 004.24 RCMS001663 2019-07-01 2016-06-24 2013-03-06 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 2 004.24 RCMS001664 2016-10-03 2016-10-03 2013-03-06 BK 0 0 0 0 RCMS RCMS GEN 2013-03-06 2 004.24 RCMS001665 2018-05-30 2018-04-16 2013-03-06 BK