JOURNAL ARTICLE
Verification of Distributed Systems Using Structured Communicating Agents Nets.
Year: 1984 Journal: Internal Medicine Journal Vol: 53 (9)Pages: 295-308 Publisher: Wiley
Abstract
Although most participants (69%) had symptoms consistent with long COVID, significant subjective functional impairment was documented in 27% and objective functional impairment in 14%. An exercise training programme might be beneficial for appropriately selected patients.
Keywords:
Computer science
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
1
Refs
0.01
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Business Process Modeling and Analysis
Social Sciences → Business, Management and Accounting → Management Information Systems
Multi-Agent Systems and Negotiation
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Conceptual Verification of Distributed Cyber Physical Systems using Reference Nets
Vikas SoodMalay Kumar NemaR. P. Ram KumarManisha J. Nene
Journal: Procedia Computer Science Year: 2020 Vol: 171 Pages: 81-90
JOURNAL ARTICLE
Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets
Dmitry BeloglazovM. Yu. MashukovV. A. Nepomnyashchiy
Journal: Automatic Control and Computer Sciences Year: 2012 Vol: 46 (7)Pages: 387-393
BOOK-CHAPTER
Distributed Verification Using Mobile Agents
Shantanu DasShay KuttenZvi Lotker
Lecture notes in computer science Year: 2013 Pages: 330-347
JOURNAL ARTICLE
Specification and verification of distributed systems using prolog interpreted petri nets.
Pierre AzémaGuy JuanoleEric SanchisMichel Montbernard
Journal: International Conference on Software Engineering Year: 1984 Pages: 510-518
BOOK-CHAPTER
Safety Verification of Software Using Structured Petri Nets
Lecture notes in computer science Year: 1998 Pages: 329-342