Partial Order and Symmetry Reductions for Discrete Time

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelReal-Time Tools, RT-TOOLS 2002, Tech. report 2002-025 of the Dept. of Information Technology, Uppsala University, ISBN 1404-3203
Plaats van productieSweden, Uppsala
Pagina's?-
StatusGepubliceerd - 2002

Citeer dit