On the formal verification of routing in material handling systems

Überblick

AutorInnen

Schönherr, Jens

Veröffentlichungszeitpunkt

2012

Autor/in (verknüpft)

Schönherr, Jens Professor für Digitale Schaltungen/Systementwurf

Open-Access-Kennzeichnung

Closed Access

Sprachen

englisch

Beteiligte Organisationen

Fakultät Elektrotechnik

Identität

International Standard Serial Number (ISSN )

21618070

Digital Object Identifier (DOI)

https://doi.org/10.1109/coase.2012.6386358

Internationale Standardbuchnummer (ISBN) 13

146730428X