Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2005. Designing The User Interface.
1987. Designing the user interface: professional development courses from the University of Maryland.
2008. Digital Signatures.