Normal view MARC view

Workshop on Partial Order Methods in Verification (1996 : Princeton University) (Meeting Name)

Number of records used in: 1
Preferred form: Workshop on Partial Order Methods in Verification (1996 : Princeton University)
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha