Work

Planning and verifying service composition

Year: 2009

Type: article

Source: Journal of Computer Security

DOI: 10.3233/jcs-2009-0357

Authors: Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari

Institutions: University of Cagliari, University of Pisa

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1792109404

FWCI: 10.93

Cites: 64

Cited by: 40

Related to: 10