Showing 1 - 1 results of 1 for search 'Kol, Rakefet.', query time: 0.04s Refine Results
1
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Participants: Yoeli, Michael, 1917- [ ]; ProQuest (Firm) [ ]; Kol, Rakefet. [ TeilnehmendeR ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: c2008.
Superior document: Wiley series on parallel and distributed computing
Other Authors: “...Kol, Rakefet....”
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search