Observation Equivalence as a Testing Equivalence

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Abramsky, S
Μορφή: Conference item
Έκδοση: 1987