Compositional Model Extraction for Higher-Order Concurrent Programs

Dan Ghica, AS Murawski, H Hermanns, J Palsberg

Research output: Contribution to conference (unpublished)Paper

18 Citations (Scopus)
Original languageEnglish
Pages303-317
Number of pages15
Publication statusPublished - 1 Jan 2006
EventTools and Algorithms for the Construction and Analysis of Systems (TACAS 2006), Proceedings of 12th International Conference, Vienna, Austria -
Duration: 1 Jan 2006 → …

Conference

ConferenceTools and Algorithms for the Construction and Analysis of Systems (TACAS 2006), Proceedings of 12th International Conference, Vienna, Austria
Period1/01/06 → …

Cite this