On the formal verification of routing in material handling systems uri icon Dokument

Überblick

Freigegeben

  • Ja

AutorInnen

  • Klotz, Thomas
  • Seßler, Norman
  • Straube, Bernd
  • Fordran, Eva
  • Turek, Karsten
  • Schönherr, Jens
  • Schönherr, Jens

Veröffentlichungszeitpunkt

  • 2012

Open-Access-Kennzeichnung

  • Closed Access

Peer Reviewed

  • Nein

Sprachen

  • englisch

Identität

International Standard Serial Number (ISSN )

  • 21618070

Internationale Standardbuchnummer (ISBN) 10

  • 146730428X

Anderes

Kuratierungs-Zielkategorie (intern)

  • Ja