✓

@book{book_1017333,
    title = {Modeling Time in Computing},
    author = {Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi},
    publisher = {Springer},
    isbn = {3642323316,9783642323317,3642323324,9783642323324},
    year = {2012},
    series = {Monographs in Theoretical Computer Science. An EATCS Series},
    edition = {},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=121e97b1b1e87b812b1127333f1d39a9},
    date-added = {2024-12-26 11:50:24 +0100}
}

@book{book_1017333, title = {Modeling Time in Computing}, author = {Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi}, publisher = {Springer}, isbn = {3642323316,9783642323317,3642323324,9783642323324}, year = {2012}, series = {Monographs in Theoretical Computer Science. An EATCS Series}, edition = {}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=121e97b1b1e87b812b1127333f1d39a9}, date-added = {2024-12-26 11:50:24 +0100} }