Index
Browse
Bibliographies
My selection
S
earch:
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
@Article{Podelski_Smolka:1997,
AUTHOR = {Podelski, Andreas and Smolka, Gert},
TITLE = {Situated Simplification},
YEAR = {1997},
JOURNAL = {Theoretical Computer Science},
VOLUME = {173},
PAGES = {209-233}
}
Last modified: Thu October 16 2014 19:11:34
