Record Citations
APA Citation
Heljanko, K. (1999). Deadlock and reachability checking with finite complete prefixes. Helsinki University of Technology.
Chicago Style Citation
Heljanko, Keijo. Deadlock and Reachability Checking with Finite Complete Prefixes. Espoo: Helsinki University of Technology, 1999.
MLA Citation
Heljanko, Keijo. Deadlock and Reachability Checking with Finite Complete Prefixes. Helsinki University of Technology, 1999.
Harvard Style Citation
Heljanko, K. 1999. Deadlock and reachability checking with finite complete prefixes. Espoo: Helsinki University of Technology.
Remember to check citations for accuracy before including them in your work.