Formal analysis of timed continuous Petri net

TitleFormal analysis of timed continuous Petri net
Publication TypeConference Paper
Year of Publication2008
AuthorsKloetzer, M, Mahulea C, Belta C, Recalde L, Silva M
Date Published12
Export