%0 Journal Article %1 journals/stvr/BogdanovH01 %A Bogdanov, Kirill %A Holcombe, Mike %D 2001 %J Softw. Test. Verification Reliab. %K %N 1 %P 39-54 %T Statechart testing method for aircraft control systems. %U http://dblp.uni-trier.de/db/journals/stvr/stvr11.html#BogdanovH01 %V 11

@article{journals/stvr/BogdanovH01, added-at = {2023-12-12T23:15:46.000+0100}, author = {Bogdanov, Kirill and Holcombe, Mike}, biburl = {https://www.bibsonomy.org/bibtex/29e88ab591de0f5c2e3c10a46209928b8/admin}, ee = {https://doi.org/10.1002/stvr.217}, interhash = {53bbdcd96605c964781e0a8e1103b32c}, intrahash = {9e88ab591de0f5c2e3c10a46209928b8}, journal = {Softw. Test. Verification Reliab.}, keywords = {}, number = 1, pages = {39-54}, timestamp = {2023-12-12T23:15:46.000+0100}, title = {Statechart testing method for aircraft control systems.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr11.html#BogdanovH01}, volume = 11, year = 2001 }