Implication triples versus adjoint triples
ISSN: 0302-9743, 1611-3349
ISBN: 9783642214974
Year of publication: 2011
Volume: 6692 LNCS
Issue: PART 2
Pages: 453-460
Type: Conference paper
ISSN: 0302-9743, 1611-3349
ISBN: 9783642214974
Year of publication: 2011
Volume: 6692 LNCS
Issue: PART 2
Pages: 453-460
Type: Conference paper