Author:
van Dam A.,Ploeger B.,Willemse T. A. C.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;H. Bekič,1984
2. Bradfield, J.C.: Verifying Temporal Proporties of Systems. Birkhäuser (1992)
3. Lecture Notes in Computer Science;T. Chen,2007
4. van Dam, A., Ploeger, B., Willemse, T.A.C.: Instantiation for parameterised boolean equation systems. CS-Report 08-11, TU Eindhoven (2008)
5. Gallardo, M.M., Joubert, C., Merino, P.: Implementing influence analysis using parameterised boolean equation systems. In: Proc. of ISOLA 2006. IEEE, Los Alamitos (2006)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献