Boolean_Expression_Checkers

MaRDI QIDQ53723swMATHFDO

Authors Tobias Nipkow

Publication date 8 June 2014

Official website https://www.isa-afp.org/entries/Boolean_Expression_Checkers.html

Cited in

(6)

• Almost event-rate independent monitoring of metric temporal logic
• LTL_to_DRA
• Program-Conflict-Analysis
• aerial
• scientific article; zbMATH DE number 7649960 (Why is no real title available?)
• Transition_Systems_and_Automata

This page was built for software: Boolean_Expression_Checkers