DMCA

Formally Specified Monitoring of Temporal Properties (1999)

Cached

Download Links

by Moonjoo Kim , Mahesh Viswanathan , Hanêne Ben-Abdallah , Sampath Kannan , Insup Lee , Oleg Sokolsky
Citations:57 - 11 self