APA-viite

Creating test data generation tool for Lustre/SCADE programs using model checking.

Chicago-tyylinen lähdeviittaus

Creating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.

MLA-viite

Creating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.