Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing – Technical Report (bibtex)
by Lars Luthmann, Stephan Mennicke and Malte Lochau
Reference:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing – Technical Report (Lars Luthmann, Stephan Mennicke and Malte Lochau), In CoRR, volume abs/1606.09035, 2016.
Bibtex Entry:
@Article{DBLP:journals/corr/LuthmannML16,
  Title                    = {Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing -- Technical Report},
  Author                   = {Lars Luthmann and Stephan Mennicke and Malte Lochau},
  Journal                  = {CoRR},
  Year                     = {2016},
  Volume                   = {abs/1606.09035},

  Url                      = {http://arxiv.org/abs/1606.09035}
}
Powered by bibtexbrowser