Skip to content
Vinony

Temporal Logic Vol. 2

by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger

Cover of Temporal Logic Vol. 2

No description available.

Logic, symbolic and mathematicalComputer logicMachine theoryTemporal automataLogique informatiqueAutomates