Selected Scientific Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is R and Author is Roberto Bagnara [Clear All Filters]
.
1996. A Reactive Implementation of Pos Using ROBDDs. Programming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium. 1140:107–121.