Md Tawhid Bin Waez

Learn More
Survey Real-time systems Formal models Semantics Timed regular languages Decision problems Variants Implementability Tools A B S T R A C T Timed automata are a popular formalism to model real-time systems. They were introduced two decades ago to support formal verification. Since then they have also been used for other purposes and a large number of(More)
INTRODUCTION Although first described over 100 years ago, lumbar puncture is still an important tool in the diagnosis of neurological diseases. In this article we review its indications, contraindications, the technique for carrying it out, the analysis of the cerebrospinal fluid and possible complications. DEVELOPMENT The lumbar puncture has diagnostic(More)
  • 1