Statecharts via process algebra
By: Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland.
Contributors: Beeck, Michael von der.; Cleaveland, Rance.; Langley Research Center.
Series: ICASE report -- no. 99-42.; [NASA contractor report] -- NASA/CR-1999-209713.; NASA contractor report -- NASA CR-209713.
Publisher: National Aeronautics and Space Administration, Langley Research Center; National Technical Information Service, distributor
Published: 1999
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Subjects: Algebra.; Semantics.; Mathematical models.; Computerized simulation.
Notes: Shipping list no.: 2000-0475-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2000] 1 microfiche.