Controller Synthesis for Object Petri Nets
Farwer, Berndt ; Kalvala, Saraswati ; Misra, Kundan
Formal Methods and Software Engineering, 2003, p.432-451
[Peer Reviewed Journal]
Berlin, Heidelberg: Springer Berlin Heidelberg
Full text available
- Searching for
- inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
- Show me what you have so far