%0 Journal Article %1 journals/software/DammDMS86 %A Damm, Werner %A Döhmen, Gert %A Merkel, Klaus %A Sichelschmidt, Mathilde %D 1986 %J IEEE Software %K dblp %N 4 %P 27-37 %T The AADL/S* Approach to Firmware Design Verification. %U http://dblp.uni-trier.de/db/journals/software/software3.html#DammDMS86 %V 3

@article{journals/software/DammDMS86, added-at = {2016-01-12T00:00:00.000+0100}, author = {Damm, Werner and Döhmen, Gert and Merkel, Klaus and Sichelschmidt, Mathilde}, biburl = {https://www.bibsonomy.org/bibtex/2b7322057d29a73968900fc9e26b8e195/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.1986.233752}, interhash = {c5de193fe83d902e789a2d83c0ecf33d}, intrahash = {b7322057d29a73968900fc9e26b8e195}, journal = {IEEE Software}, keywords = {dblp}, number = 4, pages = {27-37}, timestamp = {2016-01-13T11:50:21.000+0100}, title = {The AADL/S* Approach to Firmware Design Verification.}, url = {http://dblp.uni-trier.de/db/journals/software/software3.html#DammDMS86}, volume = 3, year = 1986 }