25 years of model checking [E-Book] : history, achievements, perspectives / ed. by O. Grumberg ...
Saved in:
Full text |
|
Personal Name(s): | Grumberg, O,, editor |
Imprint: |
Berlin :
Springer,
2008
|
ISBN: |
9783540698494 9783540698500 (e-book) |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
5000. |
LEADER | 00814cam a2200217 n 4500 | ||
---|---|---|---|
001 | 227681 | ||
005 | 20080728142000.0 | ||
008 | r2008 | ||
020 | |a 9783540698500 (e-book) | ||
020 | |a 9783540698494 | ||
035 | |a (Sirsi) a177674 | ||
245 | 0 | 0 | |a 25 years of model checking |h [E-Book] : |b history, achievements, perspectives / |c ed. by O. Grumberg ... |
246 | 0 | 0 | |a Twenty-five years of model checking. |
260 | |a Berlin : |b Springer, |c 2008 |e (Springer LINK) | ||
490 | 0 | |a Lecture notes in computer science ; |v 5000. | |
596 | |a 1 | ||
700 | 1 | |a Grumberg, O,, |e Hrsg. | |
856 | |u http://dx.doi.org/10.1007/978-3-540-69850-0 |z Volltext | ||
932 | |a aSpringer EBook 11.06.08 | ||
915 | |a zzwFZJ3 | ||
949 | |a XX(177674.1) |w EBOOK |c 1 |i 177674-1001 |l ELECTRONIC |m ZB |r Y |s Y |t E-BOOK |u 25/3/2009 |1 ONLINE |