Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Nets with Tokens Which Carry Data

Nets with Tokens Which Carry Data

A. W. Roscoe‚ Ranko Lazic‚ Tom Newcomb‚ Joel Ouaknine and James Worrell

Journal
Springer LNCS 3349
Year
2007

Links

See Also

Back to Top