%0 Conference Paper %1 conf/forte/Santone00 %A Santone, Antonella %B FORTE %D 2000 %E Bolognesi, Tommaso %E Latella, Diego %I Kluwer %K dblp %P 105-120 %T Compositionality for Improving Model Checking. %U http://dblp.uni-trier.de/db/conf/forte/forte2000.html#Santone00 %V 183 %@ 0-7923-7968-3

@inproceedings{conf/forte/Santone00, added-at = {2002-02-19T00:00:00.000+0100}, author = {Santone, Antonella}, biburl = {https://www.bibsonomy.org/bibtex/2ea6305ace211526cf1675b1b79901fbb/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2000}, date = {2002-02-19}, description = {dblp}, editor = {Bolognesi, Tommaso and Latella, Diego}, interhash = {eb86957a83fd63ff54fd88bf3b71bfd4}, intrahash = {ea6305ace211526cf1675b1b79901fbb}, isbn = {0-7923-7968-3}, keywords = {dblp}, pages = {105-120}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2002-02-19T00:00:00.000+0100}, title = {Compositionality for Improving Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2000.html#Santone00}, volume = 183, year = 2000 }