scientific article; zbMATH DE number 1231685

zbMath0917.68148MaRDI QIDQ4223014

P. S. Thiagarajan

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=16&iss=2#16.2.009

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

zbMATH Keywords

Buechi automata\(w\)-regular languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Dynamic linear time temporal logic

This page was built for publication: