scientific article; zbMATH DE number 1277257

zbMATH Open0914.68135MaRDI QIDQ4239073FDOQ4239073

Olaf Müller

Publication date: 20 April 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

input/output automata

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45)

Cited In (7)

• Title not available (Why is that?)
• Mechanizing a process algebra for network protocols
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving invariants of I/O automata with TAME
• Translation templates to support strategy development in PVS
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS

Uses Software

• Isabelle

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Proving invariants of I/O automata with TAME 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4239073)