| Shelfclass_id | 3.D.1 |
| Sortkey | KRÖGER, FRED |
| Authors | Fred Kröger, Stephan Merz |
| Title | Temporal Logic and State Systems |
| Publisher | Springer |
| Year | c2008 |
| Languages | eng |
| Isbn | 3540674012, 9783540674016 |
| Series | Texts in theoretical computer science |
| Issn | 1862-4499 |
| Description | xi, 433 p. ill. 24 cm. |
| Record date | 20091030 |
| Location | Berlin |
| Keywords | Tense (Logic), Logic, Symbolic and mathematical, Time |
| Urlnote | Table of contents only |
| Urls | http://www.loc.gov/catdir/enhancements/fy0904/2008921857-t.html |