Labelled State Transition Systems

Michal Trybulec. Labelled State Transition Systems. Formalized Mathematics, 17(1-4):163-171, 2009. [doi]

Abstract

Abstract is missing.