guest ::
| 001 | 47821 | ||
| 005 | 20260129064620.0 | ||
| 024 | 7 | _ | |2 ISSN |a 0935-3232 |
| 024 | 7 | _ | |2 HSB |a hsbimport900003385 |
| 037 | _ | _ | |a RWTH-CONV-008210 |
| 041 | _ | _ | |a English |
| 088 | _ | _ | |2 Other |a AIB-2008-12 |
| 100 | 1 | _ | |0 P:(DE-82)IDM00048 |a Katoen, Joost-Pieter |b 0 |
| 245 | _ | _ | |a Abstraction for stochastic systems by Erlangs method of stages |c Joost-Pieter Katoen ... |h online, print |
| 260 | _ | _ | |a Aachen |b RWTH Aachen, Department of Computer Science |c 2008 |
| 300 | _ | _ | |a 27 S. |
| 336 | 7 | _ | |0 PUB:(DE-HGF)29 |2 PUB:(DE-HGF) |a Report |b report |m report |
| 336 | 7 | _ | |2 DataCite |a Output Types/Report |
| 336 | 7 | _ | |2 BibTeX |a TECHREPORT |
| 336 | 7 | _ | |2 ORCID |a REPORT |
| 336 | 7 | _ | |0 10 |2 EndNote |a Report |
| 336 | 7 | _ | |2 DRIVER |a report |
| 490 | 0 | _ | |a Aachener Informatik-Berichte |v 2008,12 |
| 591 | _ | _ | |a Germany |
| 591 | _ | _ | |a Switzerland |
| 700 | 1 | _ | |0 P:(DE-82)022208 |a Klink, Daniel |b 1 |
| 700 | 1 | _ | |0 P:(DE-82)023349 |a Leucker, Martin |b 2 |
| 700 | 1 | _ | |0 P:(DE-82)023372 |a Wolf, Verena |b 3 |
| 787 | 0 | _ | |0 RWTH-CONV-170082 |i RelatedTo |
| 856 | 4 | _ | |u http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2008/2008-12.pdf |y Fulltext |
| 909 | C | O | |o oai:publications.rwth-aachen.de:47821 |p VDB |
| 920 | 1 | _ | |0 I:(DE-82)121310_20140620 |k 121310 |l Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 970 | _ | _ | |a hsbimport900003385 |
| 980 | _ | _ | |a report |
| 980 | _ | _ | |a I:(DE-82)121310_20140620 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a ConvertedRecord |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|