APA Zitierstil

OGATA, K.(2008). Proof Score Approach to Verification of Liveness Properties. IEICE Transactions on Information and Systems, E91-D(12), 2804-2817. doi:10.1093/ietisy/e91-d.12.2804

MLA Zitierstil

OGATA, K. "Proof Score Approach to Verification of Liveness Properties". IEICE Transactions On Information and Systems, E91-D.12 ( 2008 ): 2804-2817.

Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.