h1

000990325 001__ 990325
000990325 005__ 20241203111914.0
000990325 020__ $$a978-3-031-27480-0
000990325 020__ $$a978-3-031-27481-7
000990325 020__ $$a978-3-031-27482-4
000990325 0247_ $$2ISSN$$a0302-9743
000990325 0247_ $$2ISSN$$a1611-3349
000990325 0247_ $$2doi$$a10.1007/978-3-031-27481-7
000990325 037__ $$aRWTH-2024-07243
000990325 041__ $$aEnglish
000990325 1001_ $$00000-0002-6301-3517$$aChechik, Marsha$$b0$$eEditor
000990325 1112_ $$a25. International Symposium on Formal Methods$$cLübeck$$d2023-03-06 - 2023-03-10$$gFM 2023$$wGermany
000990325 245__ $$aFormal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings$$cMarsha Chechik, Joost-Pieter Katoen, Martin Leucker editors$$honline, print
000990325 260__ $$aCham, Switzerland$$bSpringer$$c2023
000990325 300__ $$axvi, 659 Seiten : Diagramme
000990325 3367_ $$03$$2EndNote$$aConference Proceedings
000990325 3367_ $$0PUB:(DE-HGF)26$$2PUB:(DE-HGF)$$aProceedings$$bproc$$mproc
000990325 3367_ $$0PUB:(DE-HGF)3$$2PUB:(DE-HGF)$$aBook
000990325 3367_ $$2BibTeX$$aPROCEEDINGS
000990325 3367_ $$2DRIVER$$aconferenceObject
000990325 3367_ $$2DataCite$$aOutput Types/Book
000990325 3367_ $$2ORCID$$aBOOK
000990325 4900_ $$aLecture notes in computer science$$v14000
000990325 536__ $$0G:(GEPRIS)282652900$$aGRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900)$$c282652900$$x0
000990325 588__ $$aDataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de
000990325 591__ $$aCanada
000990325 591__ $$aGermany
000990325 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eEditor$$urwth
000990325 7001_ $$00000-0002-3696-9222$$aLeucker, Martin$$b2$$eEditor
000990325 909CO $$ooai:publications.rwth-aachen.de:990325$$pVDB
000990325 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
000990325 9141_ $$y2023
000990325 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2023-09-03
000990325 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2023-09-03$$wger
000990325 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000990325 9201_ $$0I:(DE-82)080017_20140620$$k080017$$lProfilbereich Information & Communication Technology (ICT)$$x1
000990325 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
000990325 961__ $$c2024-08-05T12:16:46.031018$$x2024-08-05T12:16:46.031018$$z2024-08-05
000990325 980__ $$aI:(DE-82)080017_20140620
000990325 980__ $$aI:(DE-82)120000_20140620
000990325 980__ $$aI:(DE-82)121310_20140620
000990325 980__ $$aUNRESTRICTED
000990325 980__ $$aVDB
000990325 980__ $$abook
000990325 980__ $$aproc