Zobrazeno 1 - 2
of 2
pro vyhledávání: '"511.31"'
Autor:
Lenhardt, Rastislav
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In the first part of this dissertation we consider two such restricted specification logic
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.606223
