Skip to main navigation Skip to search Skip to main content

Specification, analysis and verification of an automated parking garage

  • A.H.J. Mathijssen
  • , A.J. Pretorius

Research output: Book/Report › Report › Academic

231 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages40
Publication statusPublished - 2005

Publication series

NameComputer science reports
Volume0525
ISSN (Print)0926-4515

Access to Document

  • 200525Final published version, 1.25 MB

    Cite this