Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
van der Zwaag, Mark - Instituut voor Informatica, Universiteit van Amsterdam
Theory Comput Syst DOI 10.1007/s00224-007-9034-5
Formalizing UML Models and OCL Constraints in PVS1
A Thread Algebra with Multi-level Strategic Interleaving
Maurer Computers with Single-Thread Control J.A. Bergstra1,2
A Thread Algebra with Multi-Level Strategic Interleaving
User's Guide to the Beamer Class, Version 3.01-cvs http://latex-beamer.sourceforge.net
Fonts with Beamer CMSS -Default
Simulating Turing Machines on Maurer Machines
Introduction Een Paar Voorbeelden
Thread Algebra with Multi-Level Strategies J.A. Bergstra1,2
