Distributed computation of vector clocks in Petri net unfoldings for test selection
Work
Year: 2020
Type: article
Source: Discrete Event Dynamic Systems
Institutions Nantes Université, Laboratoire des Sciences du Numérique de Nantes, Otto-von-Guericke University Magdeburg, Laboratoire Spécification et Vérification
Cites: 11
Cited by: 1
Related to: 10
FWCI: 0.114
Citation percentile (by year/subfield): 34.97
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed