scientific article

From MaRDI portal

Publication:2754058

Jump to:navigation, search

zbMath0974.68090MaRDI QIDQ2754058

Stephan Merz

Publication date: 11 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL ⋮ Unnamed Item

Uses Software

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2754058&oldid=15629465"