Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
1971
Shneiderman B.  1971.  Computer science education and social relevance. ACM SIGCSE Bulletin. 3(1):21-24.

Pages