iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/series/ifip/AstesianoBR99.nt
. . . . . "Egidio Astesiano et al.: Algebraic Specification of Concurrent Systems. (1999)" . . _:ID_5b8ce314efbd2c856e3562e8d3b372c4 . _:ID_5b8ce314efbd2c856e3562e8d3b372c4 . _:ID_5b8ce314efbd2c856e3562e8d3b372c4 . _:ID_5b8ce314efbd2c856e3562e8d3b372c4 . _:ID_5b8ce314efbd2c856e3562e8d3b372c4 "series/ifip/AstesianoBR99" . _:ID_633a027e64d3eb482536802f778dfa1f . _:ID_633a027e64d3eb482536802f778dfa1f . _:ID_633a027e64d3eb482536802f778dfa1f . _:ID_633a027e64d3eb482536802f778dfa1f . _:ID_633a027e64d3eb482536802f778dfa1f "10.1007/978-3-642-59851-7_13" . "Algebraic Specification of Concurrent Systems." . . . . . . . . "3"^^ . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_1 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_1 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_1 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_1 "Egidio Astesiano" . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_1 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_1 "1"^^ . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_1 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_2 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_2 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_2 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_2 "Manfred Broy" . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_2 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_2 "2"^^ . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_2 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_3 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_3 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_3 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_3 "Gianna Reggio" . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_3 . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_3 "3"^^ . _:Sig_0e1a8e76d5cf9e4120c30e4ab9c5e480_3 . . . . "467-520" . "Algebraic Foundations of Systems Specification" . "Algebraic Foundations of Systems Specification" . "1999"^^ . . "provenance information for RDF data of dblp record 'series/ifip/AstesianoBR99'" . . . . "2017-05-16T14:24:23+0200" .