Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formal verification of an arbiter cascade

 
: Genrich, H.J.; Shapiro, R.M.

Jensen, K.:
Application and theory of Petri nets 1992. 13th international conference : Sheffield, UK, June 22 - 26, 1992. Proceedings
Berlin: Springer, 1992 (Lecture Notes in Computer Science 616)
ISBN: 3-540-55676-1
ISBN: 0-387-55676-1
pp.205-223
International Conference on Applications and Theory of Petri Nets <13, 1992, Sheffield>
English
Conference Paper
Fraunhofer GMD

: http://publica.fraunhofer.de/documents/N-40899.html