47821 20260129064620.0 ISSN 0935-3232 HSB hsbimport900003385 RWTH-CONV-008210 English Other AIB-2008-12 P:(DE-82)IDM00048 Katoen, Joost-Pieter 0 Abstraction for stochastic systems by Erlangs method of stages Joost-Pieter Katoen ... online, print Aachen RWTH Aachen, Department of Computer Science 2008 27 S. PUB:(DE-HGF)29 PUB:(DE-HGF) Report report report DataCite Output Types/Report BibTeX TECHREPORT ORCID REPORT 10 EndNote Report DRIVER report Aachener Informatik-Berichte 2008,12 Germany Switzerland P:(DE-82)022208 Klink, Daniel 1 P:(DE-82)023349 Leucker, Martin 2 P:(DE-82)023372 Wolf, Verena 3 RWTH-CONV-170082 RelatedTo http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2008/2008-12.pdf Fulltext oai:publications.rwth-aachen.de:47821 VDB I:(DE-82)121310_20140620 121310 Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) 0 I:(DE-82)120000_20140620 120000 Fachgruppe Informatik 1 hsbimport900003385 report I:(DE-82)121310_20140620 I:(DE-82)120000_20140620 VDB UNRESTRICTED ConvertedRecord