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.org/rec/books/sp/24/KamburjanL24.rdf
Eduard Kamburjan and Michael Lienhardt: Type-Based Verification of Delegated Control in Hybrid Systems. (2024) books/sp/24/KamburjanL24 10.1007/978-3-031-51060-1_12 Type-Based Verification of Delegated Control in Hybrid Systems. 2 Eduard Kamburjan 1 Michael Lienhardt 2 323-358 Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends 2024 provenance information for RDF data of dblp record 'books/sp/24/KamburjanL24' 2024-03-16T15:09:43+0100