cour_e159bbeb-5d27-4aef-b2b9-157d78ab504f

•  
• Visão geral
•  
• Publicações
•  
• Ver todos
•  

Visão geral

oferecido por

• Imperial College of Science, Technology and Medicine 

Publicações

publicações

• Handling Database Updates in Two-dimensional Temporal Logics  Documento