Gaya APA

Gorogiannis, Nikos, Ryan, Mark. (). Minimal refinements of specifications in modal and temporal logics . : .

Gaya Chicago

Gorogiannis, Nikos, Ryan, Mark. Minimal refinements of specifications in modal and temporal logics. : , . Text.

Gaya MLA

Gorogiannis, Nikos, Ryan, Mark. Minimal refinements of specifications in modal and temporal logics. : , . Text.

Gaya Turabian

Gorogiannis, Nikos, Ryan, Mark. Minimal refinements of specifications in modal and temporal logics. : , . Print.