Selected Scientific Publications

Export 1 results:
Sort by: Author [ Title (Asc)] Type Year
A B C D E F G H I J K L M N O P Q [R] S T U V W X Y Z   [Show ALL]
R
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.