Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks

Jonathan Kochems and C.−H. Luke Ong

Book Title
CONCUR
Pages
288−302
Year
2013

Links

See Also

Back to Top