Trace Inclusion for One-Counter Nets Revisited
Work
Year: 2014
Type: book-chapter
Authors Piotr Hofman, Patrick Totzke
Institutions University of Bayreuth, Institut Polytechnique de Bordeaux, Centre National de la Recherche Scientifique, Laboratoire Bordelais de Recherche en Informatique, Université de Bordeaux
Cites: 17
Cited by: 10
Related to: 10
FWCI: 1.952
Citation percentile (by year/subfield): 87.78
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed