Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

Reference no #1117   Type :   Html | Bib | Both

Created: 2007-12-12 11:31:21

1117 Andreas Podelski and Gert Smolka. Situated Simplification. In Theoretical Computer Science, Vol. 173:209-233, 1997.     google

Last modified: Thu October 16 2014 19:11:34