Geldenhuys, J. (2006). Improvements in state space representation and model checking algorithms. Tampere University of Technology.
Chicago-tyylinen lähdeviittausGeldenhuys, Jaco. Improvements in State Space Representation and Model Checking Algorithms. Tampere: Tampere University of Technology, 2006.
MLA-viiteGeldenhuys, Jaco. Improvements in State Space Representation and Model Checking Algorithms. Tampere University of Technology, 2006.
Harvard-tyylinen lähdeviittausGeldenhuys, J. 2006. Improvements in state space representation and model checking algorithms. Tampere: Tampere University of Technology.
Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
Evästeasetukset
