15 lines
411 B
Plaintext
15 lines
411 B
Plaintext
\begin{thebibliography}{Sam02}
|
|
|
|
\bibitem[Har87]{harel:sta}
|
|
David Harel.
|
|
\newblock Statecharts: {A} {V}isual {F}ormalism for {C}omplex {S}ystems.
|
|
\newblock {\em Science of Computer Programming}, 8(3):231--274, 1987.
|
|
|
|
\bibitem[Sam02]{samek:psc}
|
|
Miro Samek.
|
|
\newblock {\em Practical Statecharts in C/C++: Quantum Programming for Embedded
|
|
Systems}.
|
|
\newblock CMP Books, 2002.
|
|
|
|
\end{thebibliography}
|