2012 : Abstraction and verification of autonomous Max-Plus-Linear systems

Dieky Adzkiya S.Si, M.Si

Year

2012

Published in

-


Abstract

- not available -