Search or ask a question
Pricing
Login
Sign up
Home
Notebook
Profile
Citation booster
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
Home
/
Authors
/
Michael I. Schwartzbach
/
2022
Showing papers by "Michael I. Schwartzbach published in 2022"
PDF
Open Access
Year
Type
Authors (1)
Institutions
Topics
Journals & Conferences
Clear filters
Sort by:
Citation Count
Book
•
DOI
•
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
[...]
Susanne Graf
,
Michael I. Schwartzbach
01 Jan 2022
Go to Paper
2
citations
Save
Cite
Share