@inproceedings{DBLP:conf/forte/Santone00,
author = {Antonella Santone},
title = {Compositionality for Improving Model Checking},
booktitle = {FORTE},
year = {2000},
pages = {105-120},
crossref = {DBLP:conf/forte/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/forte/2000,
editor = {Tommaso Bolognesi and
Diego Latella},
title = {Formal Techniques for Distributed System Development, FORTE/PSTV
2000, IFIP TC6 WG6.1 Joint International Conference on Formal
Description Techniques for Distributed Systems and Communication
Protocols (FORTE XIII) and Protocol Specification, Testing
and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy},
booktitle = {FORTE},
publisher = {Kluwer},
series = {IFIP Conference Proceedings},
volume = {183},
year = {2000},
isbn = {0-7923-7968-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
