Article thumbnail

Models, Algorithms, Logics and Tools:Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

By 
Publisher: 'Springer Science and Business Media LLC'
Year: 2017
DOI identifier: 10.1007/978-3-319-63121-9
OAI identifier: oai:pure.atira.dk:publications/bd79b805-7970-4234-8720-5a00f5afd1a7
Provided by: VBN
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://doi.org/10.1007/978-3-... (external link)
  • https://link.springer.com/book... (external link)
  • https://vbn.aau.dk/da/publicat... (external link)

  • To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

    Suggested articles