%0 Conference Paper %1 conf/iceccs/BelliniBN00 %A Bellini, Pierfrancesco %A Bruno, Mario Andres %A Nesi, Paolo %B ICECCS %D 2000 %I IEEE Computer Society %K dblp %P 25-35 %T Verification Criteria for a Compositional Model for Reactive Systems. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2000.html#BelliniBN00 %@ 0-7695-0583-X

@inproceedings{conf/iceccs/BelliniBN00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bellini, Pierfrancesco and Bruno, Mario Andres and Nesi, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2060a2b8e871ce1af16d6ec96347929be/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2000.873925}, interhash = {4075b86930abd98df0e175bc22b1fa0a}, intrahash = {060a2b8e871ce1af16d6ec96347929be}, isbn = {0-7695-0583-X}, keywords = {dblp}, pages = {25-35}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:46.000+0200}, title = {Verification Criteria for a Compositional Model for Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2000.html#BelliniBN00}, year = 2000 }