Gaya APA
Edelkamp, Stefan, Lomuscio, Alessio. (2007).
Model checking and artificial intelligence / Stefan Edelkamp.; Alessio lomuscio (Eds) .
USA:
Spinger.
Gaya Chicago
Edelkamp, Stefan, Lomuscio, Alessio.
Model checking and artificial intelligence / Stefan Edelkamp.; Alessio lomuscio (Eds).
USA:
Spinger,
2007.
.
Gaya MLA
Edelkamp, Stefan, Lomuscio, Alessio.
Model checking and artificial intelligence / Stefan Edelkamp.; Alessio lomuscio (Eds).
USA:
Spinger,
2007.
.
Gaya Turabian
Edelkamp, Stefan, Lomuscio, Alessio.
Model checking and artificial intelligence / Stefan Edelkamp.; Alessio lomuscio (Eds).
USA:
Spinger,
2007.
.