Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is boolean functions  [Clear All Filters]
1996
Bagnara R.  1996.  A Reactive Implementation of Pos Using ROBDDs. Programming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium. 1140:107–121.