Etiqueta de registo: 00000nx a22000253 45
001 1427293
100 ## $a20100709apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aLacerda,$bBruno Filipe Araújo
801 #0 $aPT$bBN
810 ## $aLinear-time temporal logic control of discrete event systems
830 ## $aMestr. Matemática e Aplicações
ver registos bibliográficos associados