Work

Integer Vector Addition Systems with States

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-11439-2_9

Authors: Christoph Haase, Simon Halfon

Institutions: École Normale Supérieure Paris-Saclay, Centre National de la Recherche Scientifique, Laboratoire Spécification et Vérification

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W205218531

FWCI: 2.26

Cites: 22

Cited by: 34

Related to: 10