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

Search Results

2 Items found (descending sorted by Modification Date)
 
 
Previous1Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Published Online: 2018  
    Genre: Proceedings 
    Files: -
    Locators: 2 Locators
    Publishing info: Wadern : Schloss Dagstuhl
    Event Title: Dagstuhl Seminar 17352 "Analysis and Synthesis of...
    Source Genre: Series
    Source Title: Dagstuhl Reports
    Volume / Issue: 7 (8)
    Start / End Page: 74 - 101
    Sequence Number: -
    Source Publ. Info: -
  2. Creators:
    Dates: Modified: 2017-08-04 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 17th Conference on Formal Methods in Computer-Aid...
    Source Genre: Proceedings
    Source Title: Proceedings of the 17th Conference on Formal Meth...
    Volume / Issue: -
    Start / End Page: 15 - 22
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
 
 
Previous1Next