h1

000564236 001__ 564236
000564236 005__ 20220211093444.0
000564236 0247_ $$2ISBN$$a978-3-319-21689-8
000564236 0247_ $$2ISBN$$a978-3-319-21690-4
000564236 0247_ $$2ISSN$$a0302-9743
000564236 0247_ $$2ISSN$$a1611-3349
000564236 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-84950991337
000564236 0247_ $$2WOS$$aWOS:000364182900013
000564236 0247_ $$2doi$$a10.1007/978-3-319-21690-4_13
000564236 037__ $$aRWTH-2015-07237
000564236 041__ $$aEnglish
000564236 082__ $$a004
000564236 1001_ $$0P:(DE-82)IDM01393$$aDehnert, Hans Christian$$b0$$eCorresponding author$$urwth
000564236 1112_ $$aInternational Conference on Computer Aided Verification$$cSan Francisco, CA$$d2015-07-18 - 2015-07-24$$gCAV'15$$wUSA
000564236 245__ $$aPROPhESY : A PRObabilistic ParamEter SYnthesis Tool$$honline, print
000564236 260__ $$aCham$$bSpringer International Publishing$$c2015
000564236 29510 $$aComputer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18 - 24, 2015 ; proceedings, part I / Daniel Kroening; Corina S. Păsăreanu (eds.). - Pt. 1
000564236 300__ $$a214-231
000564236 3367_ $$033$$2EndNote$$aConference Paper
000564236 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
000564236 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
000564236 3367_ $$2BibTeX$$aINPROCEEDINGS
000564236 3367_ $$2DRIVER$$aconferenceObject
000564236 3367_ $$2DataCite$$aOutput Types/Conference Paper
000564236 3367_ $$2ORCID$$aCONFERENCE_PAPER
000564236 4900_ $$aLecture Notes in Computer Science$$v9206
000564236 500__ $$aWeitere Reihe: Springer eBook collection : Computer science
000564236 588__ $$aDataset connected to CrossRef Book Series
000564236 591__ $$aGermany
000564236 7001_ $$0P:(DE-82)IDM01624$$aJunges, Sebastian$$b1$$urwth
000564236 7001_ $$0P:(DE-82)006391$$aJansen, Nils$$b2
000564236 7001_ $$0P:(DE-82)078667$$aCorzilius, Florian$$b3
000564236 7001_ $$0P:(DE-82)IDM01664$$aVolk, Matthias$$b4$$urwth
000564236 7001_ $$0P:(DE-82)IDM01581$$aBruintjes, Harold Yorick$$b5$$urwth
000564236 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b6$$urwth
000564236 7001_ $$0P:(DE-82)IDM00047$$aÁbrahám, Erika$$b7$$urwth
000564236 909CO $$ooai:publications.rwth-aachen.de:564236$$pVDB
000564236 9141_ $$y2015
000564236 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000564236 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS
000564236 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz
000564236 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x0
000564236 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000564236 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x2
000564236 9201_ $$0I:(DE-82)121330_20140620$$k121330$$lJuniorprofessur für Theorie Hybrider Systeme$$x3
000564236 961__ $$c2015-12-07T10:39:30.642624$$x2015-12-07T10:39:30.642624$$z2015-12-08
000564236 980__ $$aI:(DE-82)120000_20140620
000564236 980__ $$aI:(DE-82)121310_20140620
000564236 980__ $$aI:(DE-82)121330_20140620
000564236 980__ $$aI:(DE-82)123420_20140620
000564236 980__ $$aUNRESTRICTED
000564236 980__ $$aVDB
000564236 980__ $$acontb
000564236 980__ $$acontrib