DaftarIsitemplate |
Call Number |
SK-0969 (Softcopy SK-450) Source code SK-363 |
Title |
Simulation of software requirement in behavior tree using SAL |
Author |
Niken Listya Pratiwi; |
Publisher |
Depok: Fasilkom UI, 2011 |
Subject |
Model Checking. |
Location |
FASILKOM-UI; |