Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fiw/RochefortH97
%A Rochefort, Stephen
%A Hoover, H. James
%B FIW
%D 1997
%E Dini, Petre
%E Boutaba, Raouf
%E Logrippo, Luigi
%I IOS Press
%K dblp
%P 329-341
%T An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony.
%U http://dblp.uni-trier.de/db/conf/fiw/fiw1997.html#RochefortH97
%@ 90-5199-347-1
@inproceedings{conf/fiw/RochefortH97,
added-at = {2004-11-16T00:00:00.000+0100},
author = {Rochefort, Stephen and Hoover, H. James},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28b412adb43287abbb3ee6afb9f6fb69b/dblp},
booktitle = {FIW},
crossref = {conf/fiw/1997},
editor = {Dini, Petre and Boutaba, Raouf and Logrippo, Luigi},
interhash = {c744b44f0adbaa5dba8b460f881dab6d},
intrahash = {8b412adb43287abbb3ee6afb9f6fb69b},
isbn = {90-5199-347-1},
keywords = {dblp},
pages = {329-341},
publisher = {IOS Press},
timestamp = {2016-02-02T14:01:54.000+0100},
title = {An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony.},
url = {http://dblp.uni-trier.de/db/conf/fiw/fiw1997.html#RochefortH97},
year = 1997
}