h1

000996988 001__ 996988
000996988 005__ 20250930142646.0
000996988 020__ $$a978-3-031-75782-2
000996988 020__ $$a978-3-031-75783-9
000996988 020__ $$a978-3-031-75784-6
000996988 0247_ $$2ISSN$$a0302-9743
000996988 0247_ $$2ISSN$$a1611-3349
000996988 0247_ $$2doi$$a10.1007/978-3-031-75783-9
000996988 037__ $$aRWTH-2024-10968
000996988 041__ $$aEnglish
000996988 1001_ $$00000-0003-1318-8973$$aJansen, Nils$$b0$$eEditor
000996988 245__ $$aPrinciples of verification: cycling the probabilistic landscape$$cNils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors$$honline, print$$nPart 1
000996988 260__ $$aCham$$bSpringer$$c2025
000996988 260__ $$c2024
000996988 300__ $$axix, 447 Seiten : Illustrationen, Diagramme
000996988 3367_ $$01$$2EndNote$$aBook
000996988 3367_ $$0PUB:(DE-HGF)3$$2PUB:(DE-HGF)$$aBook$$bbook$$mbook
000996988 3367_ $$2BibTeX$$aBOOK
000996988 3367_ $$2DRIVER$$abook
000996988 3367_ $$2DataCite$$aOutput Types/Book
000996988 3367_ $$2ORCID$$aBOOK
000996988 4900_ $$aLecture notes in computer science$$v15260
000996988 500__ $$aPublished November 2024
000996988 588__ $$aDataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de
000996988 591__ $$aGermany
000996988 591__ $$aNetherlands
000996988 7001_ $$0P:(DE-82)IDM01624$$aJunges, Sebastian$$b1$$eEditor
000996988 7001_ $$aKaminski, Benjamin Lucien$$b2$$eEditor
000996988 7001_ $$aMatheja, Christoph$$b3$$eEditor
000996988 7001_ $$0P:(DE-82)IDM01580$$aNoll, Thomas$$b4$$eEditor$$urwth
000996988 7001_ $$0P:(DE-82)IDM01389$$aQuatmann, Tim$$b5$$eEditor$$urwth
000996988 7001_ $$00000-0001-6793-8165$$aStoelinga, Mariëlle$$b6$$eEditor
000996988 7001_ $$0P:(DE-82)IDM01664$$aVolk, Matthias$$b7$$eEditor$$urwth
000996988 7870_ $$0RWTH-2024-10969$$iRelatedTo
000996988 7870_ $$0RWTH-2024-10970$$iRelatedTo
000996988 909CO $$ooai:publications.rwth-aachen.de:996988$$pVDB
000996988 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01580$$aRWTH Aachen$$b4$$kRWTH
000996988 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01389$$aRWTH Aachen$$b5$$kRWTH
000996988 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01664$$aRWTH Aachen$$b7$$kRWTH
000996988 9141_ $$y2024
000996988 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2023-09-03
000996988 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2023-09-03$$wger
000996988 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000996988 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000996988 961__ $$c2025-03-07T15:43:06.316213$$x2024-11-21T17:04:04.284398$$z2025-03-10
000996988 980__ $$aI:(DE-82)120000_20140620
000996988 980__ $$aI:(DE-82)121310_20140620
000996988 980__ $$aUNRESTRICTED
000996988 980__ $$aVDB
000996988 980__ $$abook