Home News About Us Contact Contributors Disclaimer 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:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-2  
 Basket 
Description Logics for Shape Analysis
Editors: Aichernig, Bernhard K.; Beckert, Bernhard
Authors: Georgieva, Lilia; Maier, Patrick
Place of Publication: Los Alamitos, USA
Publisher: IEEE
Date of Publication (YYYY-MM-DD): 2005
Title of Proceedings: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)
Start Page: 321
End Page: 330
Document Type: Conference-Paper
ID: 279086.0
Verification of an Off-Line Checker for Priority Queues
Editors: Aichernig, Bernhard K.; Beckert, Bernhard
Authors: de Nivelle, Hans; Piskac, Ruzica
Place of Publication: Los Alamitos, USA
Publisher: IEEE
Date of Publication (YYYY-MM-DD): 2005
Title of Proceedings: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)
Start Page: 210
End Page: 219
Document Type: Conference-Paper
ID: 279090.0
Entries: 1-2  
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.