by Khasidashvili, Zurab, Ogawa, Mizuhito, van Oostrom, Vincent
Published in Information and computation (10.01.2001)

by Khasidashvili, Z., Moondanos, J., Hanna, Z.
Published in Seventh IEEE International High-Level Design Validation and Test Workshop, 2002 (2002)

by Khasidashvili, Z., Moondanos, J., Kaiss, D., Hanna, Z.
Published in Sixth IEEE International High-Level Design Validation and Test Workshop (2001)

by Chakraborty, Supratik, Khasidashvili, Zurab, Seger, Carl-Johan H., Gajavelly, Rajkumar, Haldankar, Tanmay, Chhatani, Dinesh, Mistry, Rakesh
Published in Formal methods in system design (01.06.2017)

by Khasidashvili, Zurab, Nadel, Alexander, Palti, Amit, Hanna, Ziyad
Published in Hardware and Software, Verification and Testing (2006)

by Khasidashvili, Z., Skaba, M., Kaiss, D., Hanna, Z.
Published in IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 (07.11.2004)

by Khasidashvili, Zurab
Published in Theoretical computer science (06.09.2001)

by Khasidashvili, Zurab, Glauert, John
Published in Theoretical computer science (01.12.2005)

by Khasidashvili, Zurab, Glauert, John
Published in Theoretical computer science (06.09.2002)

by Hoder, Krystof, Khasidashvili, Z., Korovin, K., Voronkov, A.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)

by Khasidashvili, Z., Kinanah, M., Voronkov, A.
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)

by Khasidashvili, Z., Kaiss, D., Bustan, D.
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)

by Khasidashvili, Z.
Published in [1993] The 2nd Israel Symposium on Theory and Computing Systems (1993)

by Khasidashvili, Z., Gavrielov, G., Melham, T.
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)

by Khasidashvili, Z., Skaba, M., Kaiss, D., Hanna, Z.
Published in 2006 Formal Methods in Computer Aided Design (01.11.2006)