| Shelfclass_id | 3.F.4 |
| Sortkey | HOOMAN, JOZEF |
| Authors | Jozef Hooman |
| Title | Specification and Compositional Verification of Real-Time Systems |
| Publisher | Springer |
| Year | c1991 |
| Languages | eng |
| Isbn | 3540549471 |
| Series | Lecture Notes in Computer Science |
| Volume | 558 |
| Issn | 0302-9743 |
| Description | viii, 235 p. 25 cm. |
| Record date | 20090911 |
| Location | New York |
| Keywords | Real-time data processing |
| Notes | Rev. version of the author's thesis (Ph. D.)--Eindhoven University of Technology. |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0815/91041783-d.html |