@article{92f3996758bc48b192848151259a68ad,
title = "Development, validation and application of Stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes",
keywords = "CWTS 0.75 <= JFIS < 2.00",
author = "F Netjasov and A Vidosavljevic and V Tosic and M.H.C. Everdij and HAP Blom",
note = "online first",
year = "2013",
language = "English",
volume = "33",
pages = "167--195",
journal = "Transportation Research. Part C: Emerging Technologies",
issn = "0968-090X",
publisher = "Elsevier",
number = "aug",
}