Verification of timed Chi models using Uppaal

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation
Plaats van productie	Spain, Barcelona
Pagina's	486-492
Status	Gepubliceerd - 2005

Citeer dit

@inproceedings{231eab76cf7c452381099755b949e88d,

title = "Verification of timed Chi models using Uppaal",

author = "E. Bortnik and {Beek, van}, D.A. and {Mortel - Fronczak, van de}, J.M. and J.E. Rooda",

year = "2005",

language = "English",

pages = "486--492",

booktitle = "Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation",

}