Željko Vrba

This page is obsolete; you will be automatically redirected to my new homepage in 10 seconds. If you were looking for my C tutorial for the OS course, or lecture notes on linear temporal logic (LTL), you can find the latest version here. An outdated version of the C tutorial can also be found on this server (PDF).