Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Arbab, F., Baier, C., de Boer, F.S., Rutten, J.J.M.M.: Models and temporal logical specifications for timed component connectors. Soft. and Syst. Modeling 6(1), 59–82 (2007)
2. Lecture Notes in Computer Science;A. Bouajjani,1995
3. Lecture Notes in Computer Science;A.R. Bradley,2005
4. Lecture Notes in Computer Science;I. Brückner,2007
5. Brückner, I.: Slicing Integrated Formal Specifications for Verification. PhD thesis, Report Nr. 2/08, University of Oldenburg (March 2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ernst-Rüdiger Olderog: A Life for Meaning;Lecture Notes in Computer Science;2015