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

Search Results

10 Items found (descending sorted by Modification Date)
 
 
Previous1Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Created: 2017-01-09 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  2. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: 34th Symposium on Theoretical Aspects of Computer...
    Source Genre: Proceedings
    Source Title: 34th Symposium on Theoretical Aspects of Computer...
    Volume / Issue: -
    Start / End Page: 1 - 13
    Sequence Number: 29
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  3. ( )
    LICS 2017 Foreword
    Creators:
    Dates: Accepted: 2017 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Source Genre: Proceedings
    Source Title: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Volume / Issue: -
    Start / End Page: II - IV
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  4. Creators:
    Dates: Accepted: 2017 | Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: 44th International Colloquium on Automata, Langua...
    Source Genre: Proceedings
    Source Title: 44th International Colloquium on Automata, Langua...
    Volume / Issue: -
    Start / End Page: 1 - 14
    Sequence Number: 24
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  5. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 20th International Conference on Hybrid Systems: ...
    Source Genre: Proceedings
    Source Title: HSCC'17
    Volume / Issue: -
    Start / End Page: 11 - 17
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  6. ( )
    Timed Temporal Logics
    Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Book Chapter 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Book
    Source Title: Models, Algorithms, Logics and Tools
    Volume / Issue: -
    Start / End Page: 211 - 230
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  7. Creators:
    Dates: Accepted: 2017 | Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 2 Locators
    Publishing info: -
    Event Title: 28th International Conference on Concurrency Theo...
    Source Genre: Proceedings
    Source Title: 28th International Conference on Concurrency Theo...
    Volume / Issue: -
    Start / End Page: 1 - 18
    Sequence Number: 21
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  8. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Information and Computation
    Volume / Issue: 257
    Start / End Page: 34 - 57
    Sequence Number: -
    Source Publ. Info: Amsterdam : Elsevier
  9. Creators:
    Dates: Accepted: 2017 | Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 2 Locators
    Publishing info: -
    Event Title: 44th International Colloquium on Automata, Langua...
    Source Genre: Proceedings
    Source Title: 44th International Colloquium on Automata, Langua...
    Volume / Issue: -
    Start / End Page: 1 - 14
    Sequence Number: 116
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  10. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 15th Conference on Computational Methods in Syste...
    Source Genre: Proceedings
    Source Title: Computational Methods in Systems Biology
    Volume / Issue: -
    Start / End Page: 108 - 127
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
 
 
Previous1Next