%0 Conference Paper %1 conf/iwssd/CorsettiCMMMPR91 %A Corsetti, Edoardo %A Crivelli, Ernani %A Mandrioli, Dino %A Montanari, Angelo %A Morzenti, Angelo %A Pietro, Pierluigi San %A Ratto, Elena %B IWSSD %D 1991 %E Finance, Jean-Pierre %E Ghezzi, Carlo %E Roman, Gruia-Catalin %I IEEE Computer Society %K dblp %P 92-101 %T Dealing with different time scales in formal specifications. %U http://dblp.uni-trier.de/db/conf/iwssd/iwssd1991.html#CorsettiCMMMPR91 %@ 978-0-8186-2320-2

@inproceedings{conf/iwssd/CorsettiCMMMPR91, added-at = {2022-05-13T00:00:00.000+0200}, author = {Corsetti, Edoardo and Crivelli, Ernani and Mandrioli, Dino and Montanari, Angelo and Morzenti, Angelo and Pietro, Pierluigi San and Ratto, Elena}, biburl = {https://www.bibsonomy.org/bibtex/2a3236ea66f944d86a46618d4b77db2e8/dblp}, booktitle = {IWSSD}, crossref = {conf/iwssd/1991}, editor = {Finance, Jean-Pierre and Ghezzi, Carlo and Roman, Gruia-Catalin}, ee = {https://dl.acm.org/doi/10.5555/952786.952801}, interhash = {1813d726923b4da9cbfa09a6bba967c5}, intrahash = {a3236ea66f944d86a46618d4b77db2e8}, isbn = {978-0-8186-2320-2}, keywords = {dblp}, pages = {92-101}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T01:33:01.000+0200}, title = {Dealing with different time scales in formal specifications.}, url = {http://dblp.uni-trier.de/db/conf/iwssd/iwssd1991.html#CorsettiCMMMPR91}, year = 1991 }