TY - BOOK AU - Wagner, Ferdinand TI - Modeling software with finite state machines: a practical approach U1 - 005.1 PY - 2006/// KW - GEN KW - CCC ER -