Work

The Mealy-machine reduction functions of Spot

Year: 2023

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2023.102995

Authors: Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Institution: École Pour l'Informatique et les Techniques Avancées

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4382051985

FWCI:

Cites: 17

Cited by:

Related to: 10