h1

000957774 001__ 957774
000957774 005__ 20251014112617.0
000957774 0247_ $$2ISBN$$a978-3-031-27533-3
000957774 0247_ $$2ISBN$$a978-3-031-27534-0
000957774 0247_ $$2ISSN$$a0302-9743
000957774 0247_ $$2ISSN$$a1611-3349
000957774 0247_ $$2WOS$$aWOS:001346427700001
000957774 0247_ $$2doi$$a10.1007/978-3-031-27534-0_1
000957774 037__ $$aRWTH-2023-04951
000957774 041__ $$aEnglish
000957774 1001_ $$0P:(DE-82)IDM00047$$aÁbrahám, Erika$$b0$$urwth
000957774 1112_ $$a5. International Workshop on Formal Methods Teaching$$cLübeck$$d2023-03-06 - 2023-03-06$$gFMTea 2023$$wGermany
000957774 245__ $$aAutomated Exercise Generation for Satisfiability Checking$$honline
000957774 260__ $$aCham, Switzerland$$bSpringer$$c2023
000957774 29510 $$aFormal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors
000957774 300__ $$a1-16
000957774 3367_ $$033$$2EndNote$$aConference Paper
000957774 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
000957774 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib$$s1683195434_15560
000957774 3367_ $$2BibTeX$$aINPROCEEDINGS
000957774 3367_ $$2DRIVER$$aconferenceObject
000957774 3367_ $$2DataCite$$aOutput Types/Conference Paper
000957774 3367_ $$2ORCID$$aCONFERENCE_PAPER
000957774 4900_ $$aLecture notes in computer science$$v13962
000957774 588__ $$aDataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de
000957774 591__ $$aGermany
000957774 7001_ $$0P:(DE-82)IDM04423$$aNalbach, Jasper Kurt Ferdinand$$b1$$eCorresponding author$$urwth
000957774 7001_ $$0P:(DE-82)IDM05758$$aPromies, Valentin Maxim$$b2$$urwth
000957774 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00047$$aRWTH Aachen$$b0$$kRWTH
000957774 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04423$$aRWTH Aachen$$b1$$kRWTH
000957774 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05758$$aRWTH Aachen$$b2$$kRWTH
000957774 9141_ $$y2023
000957774 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000957774 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2020-08-25
000957774 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2020-08-25$$wger
000957774 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x0
000957774 9201_ $$0I:(DE-82)080060_20170720$$k080060$$lGraduiertenkolleg UnRAVeL$$x1
000957774 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
000957774 961__ $$c2023-05-04T12:21:06.236721$$x2023-05-04T12:21:06.236721$$z2023-05-04
000957774 980__ $$aI:(DE-82)080060_20170720
000957774 980__ $$aI:(DE-82)120000_20140620
000957774 980__ $$aI:(DE-82)123420_20140620
000957774 980__ $$aUNRESTRICTED
000957774 980__ $$aVDBINPRINT
000957774 980__ $$acontb
000957774 980__ $$acontrib