Checking business process evolution
Year: 2018
Type: article
Source: Science of Computer Programming
Authors: Ajay Krishna, Pascal Poizat, Gwen Salaün
Institutions: Institut polytechnique de Grenoble, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, CONVECS: Construction de systèmes concurrents vérifiés, Université Grenoble Alpes, Sorbonne Université, Université Paris Nanterre, Université Paris Lumières, LIP6
Language: English
Subfield: Management Information Systems
Domain: Social Sciences
Open Access status: bronze
OpenAlex ID: W2900200025