Record Citations
APA CitationMäkelä, M. (2003). Efficient computer-aided verification of parallel and distributed software systems. Helsinki University of Technology.
Chicago Style CitationMäkelä, Marko. Efficient Computer-aided Verification of Parallel and Distributed Software Systems. Espoo: Helsinki University of Technology, 2003.
MLA CitationMäkelä, Marko. Efficient Computer-aided Verification of Parallel and Distributed Software Systems. Helsinki University of Technology, 2003.
Harvard Style CitationMäkelä, M. 2003. Efficient computer-aided verification of parallel and distributed software systems. Espoo: Helsinki University of Technology.
Remember to check citations for accuracy before including them in your work.