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

Search Results

110 Items found (descending sorted by Modification Date)
 
 
Previous12345Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Published Online: 2014 | Published in Print: 2014  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 26th International Conference on Computer Aided V...
    Source Genre: Proceedings
    Source Title: Computer Aided Verification
    Volume / Issue: -
    Start / End Page: 603 - 619
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  2. ( )
    POPL'16
    Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Proceedings 
    Files: -
    Locators: -
    Publishing info: New York, NY : ACM
    Event Title: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  3. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 13th International Workshop on Discrete Event Sys...
    Source Genre: Proceedings
    Source Title: Proceedings of the 13th International Workshop on...
    Volume / Issue: -
    Start / End Page: 22 - 27
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  4. Creators:
    Dates: Created: 2016-12-27 | Modified: 2017-02-10 | Published Online: 2016  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  5. Creators:
    Dates: Created: 2016-02-11 | Modified: 2016-07-18 | Published Online: 2016  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  6. Creators:
    Dates: Created: 2016-02-09 | Modified: 2016-02-12 | Published Online: 2016  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  7. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 22nd International Conference on Tools and Algori...
    Source Genre: Proceedings
    Source Title: Tools and Algorithms for the Construction and Ana...
    Volume / Issue: -
    Start / End Page: 680 - 697
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  8. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 22nd International Conference on Tools and Algori...
    Source Genre: Proceedings
    Source Title: Tools and Algorithms for the Construction and Ana...
    Volume / Issue: -
    Start / End Page: 280 - 296
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  9. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 22nd International Conference on Tools and Algori...
    Source Genre: Proceedings
    Source Title: Tools and Algorithms for the Construction and Ana...
    Volume / Issue: -
    Start / End Page: 3 - 13
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  10. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 22nd International Conference on Tools and Algori...
    Source Genre: Proceedings
    Source Title: Tools and Algorithms for the Construction and Ana...
    Volume / Issue: -
    Start / End Page: 147 - 163
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  11. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: IEEE 16th International Working Conference on Sou...
    Source Genre: Proceedings
    Source Title: IEEE 16th International Working Conference on Sou...
    Volume / Issue: -
    Start / End Page: 127 - 136
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  12. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 19th International Conference on Hybrid Systems: ...
    Source Genre: Proceedings
    Source Title: HSCC'16
    Volume / Issue: -
    Start / End Page: 267 - 276
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  13. Creators:
    Dates: Published Online: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: 2 Locators
    Publishing info: -
    Event Title: 36th IARCS Annual Conference on Foundations of So...
    Source Genre: Proceedings
    Source Title: 36th IARCS Annual Conference on Foundations of So...
    Volume / Issue: -
    Start / End Page: 1 - 14
    Sequence Number: 27
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  14. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 28th International Conference on Computer-Aided V...
    Source Genre: Proceedings
    Source Title: Computer Aided Verification
    Volume / Issue: -
    Start / End Page: 157 - 176
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  15. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 14th International Symposium on Automated Technol...
    Source Genre: Proceedings
    Source Title: Automated Technology for Verification and Analysis
    Volume / Issue: -
    Start / End Page: 444 - 460
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  16. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of the ACM
    Volume / Issue: 63 (1)
    Start / End Page: -
    Sequence Number: 10
    Source Publ. Info: New York, NY : ACM
  17. Creators:
    Dates: Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 54th IEEE Conference on Decision and Control (CDC)
    Source Genre: Proceedings
    Source Title: 54th IEEE Conference on Decision and Control (CDC)
    Volume / Issue: -
    Start / End Page: 6823 - 6829
    Sequence Number: -
    Source Publ. Info: -
  18. Creators:
    Dates: Published Online: 2015 | Published in Print: 2016  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Discrete Event Dynamic Systems
    Volume / Issue: 26 (1)
    Start / End Page: 5 - 32
    Sequence Number: -
    Source Publ. Info: New York, NY : Springer
  19. Creators:
    Dates: Published in Print: 2016  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Discrete Event Dynamic Systems
    Volume / Issue: 26 (1)
    Start / End Page: 5 - 32
    Sequence Number: -
    Source Publ. Info: -
  20. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL'16
    Volume / Issue: -
    Start / End Page: 178 - 190
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  21. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL'16
    Volume / Issue: -
    Start / End Page: 649 - 662
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  22. Creators:
    Dates: Accepted: 2015 | Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 18th International Conference on Hybrid Systems: ...
    Source Genre: Proceedings
    Source Title: HSCC'15
    Volume / Issue: -
    Start / End Page: 199 - 208
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  23. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 18th International Conference on Hybrid Systems
    Source Genre: Proceedings
    Source Title: HSCC'15
    Volume / Issue: -
    Start / End Page: 98 - 107
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  24. Creators:
    Dates: Published Online: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: 2 Locators
    Publishing info: -
    Event Title: 29th European Conference on Object-Oriented Progr...
    Source Genre: Proceedings
    Source Title: 29th European Conference on Object-Oriented Progr...
    Volume / Issue: -
    Start / End Page: 396 - 420
    Sequence Number: -
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  25. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 27th International Conference on Computer Aided V...
    Source Genre: Proceedings
    Source Title: Computer Aided Verification
    Volume / Issue: -
    Start / End Page: 496 - 503
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
 
 
Previous12345Next