de.mpg.escidoc.pubman.appbase.FacesBeande.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Search Results

5 Items found (descending sorted by Modification Date)
 
 
Previous1Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Published in Print: 2012  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Communications of the ACM
    Volume / Issue: 55 (2)
    Start / End Page: 103 - 111
    Sequence Number: -
    Source Publ. Info: -
  2. Creators:
    Dates: Published in Print: 2013  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 25th International Conference on Computer Aided V...
    Source Genre: Proceedings
    Source Title: Computer Aided Verification
    Volume / Issue: -
    Start / End Page: 158 - 173
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  3. Creators:
    Dates: Published Online: 2013 | Published in Print: 2013  
    Genre: Book Chapter 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Book
    Source Title: Programming Logics : Essays in Memory of Harald G...
    Volume / Issue: -
    Start / End Page: 169 - 193
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  4. Creators:
    Dates: Published Online: 2013 | Published in Print: 2013  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 25th International Conference on Computer Aided V...
    Source Genre: Proceedings
    Source Title: Computer Aided Verification
    Volume / Issue: -
    Start / End Page: 773 - 789
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  5. Creators:
    Dates: Published in Print: 2013  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: ACM SIGPLAN Conference on Programming Language De...
    Source Genre: Proceedings
    Source Title: PLDI'13
    Volume / Issue: -
    Start / End Page: 27 - 38
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
 
 
Previous1Next