![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Sandeep Mehrotra Ben D'Angelo , Sriram Sankaranarayanan , César Sánchez , Will Robinson , Bernd Finkbeiner , Henny B. Sipma , Sandeep Mehrotra, Zohar Manna : LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005 : 166-174 1 [ 1 ] 2 [ 1 ] 3 [ 1 ] 4 [ 1 ] 5 [ 1 ] 6 [ 1 ] 7 [ 1 ] ![]() ©2006 Association for Computing Machinery |