| DaftarIsitemplate |
| Call Number |
| SEM-260 |
| Title |
| An environment for formal modeling and simulation of control systems, Hal. 74-79 |
| Author |
| Bernardo Copstein; Michael da Costa Mora; |
| Publisher |
| Proceedings: the 33rd annual simulation symposium, Washington D.C, 16-20 April 2000 |
| Subject |
| Location |