B. TEVFİK And A. BETİN CAN, "Scalable Software Model Checking Using Design for Verification," Verified Software: Theories, Tools, Experiments , Zürich, Switzerland, pp.337-346, 2005
TEVFİK, B. And BETİN CAN, A. 2005. Scalable Software Model Checking Using Design for Verification. Verified Software: Theories, Tools, Experiments , (Zürich, Switzerland), 337-346.
TEVFİK, B., & BETİN CAN, A., (2005). Scalable Software Model Checking Using Design for Verification . Verified Software: Theories, Tools, Experiments (pp.337-346). Zürich, Switzerland
TEVFİK, Bultan, And AYSU BETİN CAN. "Scalable Software Model Checking Using Design for Verification," Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 2005
TEVFİK, Bultan And BETİN CAN, AYSU B. . "Scalable Software Model Checking Using Design for Verification." Verified Software: Theories, Tools, Experiments , Zürich, Switzerland, pp.337-346, 2005
TEVFİK, B. And BETİN CAN, A. (2005) . "Scalable Software Model Checking Using Design for Verification." Verified Software: Theories, Tools, Experiments , Zürich, Switzerland, pp.337-346.
@conferencepaper{conferencepaper, author={Bultan TEVFİK And author={AYSU BETİN CAN}, title={Scalable Software Model Checking Using Design for Verification}, congress name={Verified Software: Theories, Tools, Experiments}, city={Zürich}, country={Switzerland}, year={2005}, pages={337-346} }