Please note that eDoc will be permanently shut down in the first quarter of 2021!      Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ
Home Search Quick Search Advanced Fulltext Browse Collections Persons My eDoc Session History Login Name: Password: Documentation Help Support Wiki Direct access to document ID:	Institute: MPI für Informatik     Collection: Programming Logics Group     Display Documents ID: 279118.0, MPI für Informatik / Programming Logics Group Transition predicate abstraction and fair termination Authors: Podelski, Andreas; Rybalchenko, Andrey Editors: Palsberg, Jens; Abadi, Martín Language: English Publisher: ACM Place of Publication: New York, USA Date of Publication (YYYY-MM-DD): 2005 Title of Proceedings: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005 Start Page: 124 End Page: 139 Place of Conference/Meeting: Long Beach, CA, USA (Start) Date of Conference/Meeting  (YYYY-MM-DD): 2005-01-12 Audience: Experts Only Intended Educational Use: No Last Change of the Resource (YYYY-MM-DD): 2005-04-27 External Publication Status: published Document Type: Conference-Paper Communicated by: Andreas Podelski Affiliations: MPI für Informatik/Programming Logics Group Identifiers: LOCALID:C1256104005ECAFC-57767FAFB6FB6779C1256FC00041E44D-... ISBN:1-58113-830-X The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.