OpenAlex
PricingAboutJobs
Log inGet started
Work

In memory of Oded Maler

HTML

Year: 2019
Type: article
Source: ACM SIGLOG News
DOI: 10.1145/3313909.3313913
Authors: Martin Fränzle, Mingshuai Chen, Paul Kröger
Institutions: Carl von Ossietzky Universität Oldenburg, Chinese Academy of Sciences, University of Chinese Academy of Sciences
Language: English

Topic: Formal Methods in Verification
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences

Open Access status: closed
OpenAlex ID: W2932827394
FWCI: 1.785
Cites: 50
Cited by: 21
Related to: 10
OpenAlex
Nonprofit
Open DataOpen Data
Open Source
Product
Search
Compare
Pricing
Repositories
Unpaywall
Unsub
Developers
API docs
Data snapshot
Status
Source code
Organization
About
Team
Testimonials
Brand
Jobs
Community
Help center
Contact
Events
Blog
Mailing list
Supporters
Legal
Privacy
Accessibility
Terms