Luettgen, G. ; Mendler, Michael: The intuitionism behind statecharts steps
. Hampton, V.A., USA : NASA Langley Research Center. 2000 (NASA, Institute for Computer Applications in Science and Engineering ICASE, Report CR-2000-210302). - Forschungsbericht. 40 Seiten
|