next up previous contents
Next: Lógica temporal no STeP Up: Elementos Lógicos da Programação Previous: Exercícios

  
Especificação de propriedades temporais


 

1999-05-25