From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata

BOOK-CHAPTER

Year: 2017 Lecture notes in computer science Pages: 426-442 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-662-54577-5_25

Keywords:

Metrics

Cited By

6.36

FWCI (Field Weighted Citation Impact)

Refs

0.97

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Synthetic Organic Chemistry Methods

Physical Sciences → Chemistry → Organic Chemistry

Fuel Cells and Related Materials

Physical Sciences → Engineering → Electrical and Electronic Engineering