-
1
المؤلفون: Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
المصدر: Automated Technology for Verification and Analysis ISBN: 9783031199912
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ca82eb77176bc99703fcc59a37bef7d1
https://doi.org/10.1007/978-3-031-19992-9_13 -
2
المؤلفون: Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
المصدر: Computer Aided Verification ISBN: 9783031131844
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2b90bbf6040d3f42bd685b15a2f3f77e
https://doi.org/10.1007/978-3-031-13185-1_20 -
3
المؤلفون: Bernd Finkbeiner, Florian Funke, Norine Coenen, Simon Jantsch, Julian Siber, Christel Baier
المصدر: Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification
Computer Aided Verification-33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Computer Aided Verification ISBN: 9783030816841
CAV (1)مصطلحات موضوعية: Theoretical computer science, Computer science, Formalism (philosophy), ComputingMilieux_PERSONALCOMPUTING, 020207 software engineering, Craig interpolation, 02 engineering and technology, Causality (physics), Range (mathematics), Order (exchange), Reachability, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), 020201 artificial intelligence & image processing, Program synthesis
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6bc7c1132ecf0a5a8bddfa0aa56f0f0