Author:
Ly Linh Thao,Rinderle-Ma Stefanie,Knuplesch David,Dadam Peter
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Jacobsen, H.A., Muthusamy, V., Li, G.: The PADRES event processing network: Uniform querying of past and future events. IT - Information Technology, 250–261 (2009)
2. Lecture Notes in Computer Science;L.T. Ly,2010
3. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411–420 (1999)
4. Montali, M., Maggi, F., Chesani, F., Mello, P., van der Aalst, W.: Monitoring business constraints with the event calculus. Technical report. Universita degli Studi di Bologna (2011)
5. LNBIP;L.T. Ly,2011
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献