Selected Scientific Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is R  [Clear All Filters]
Conference Paper
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.