Amanote Research

Amanote Research

    RegisterSign In

UPPAAL - Now, Next, and Future

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45510-8_4
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2001

Authors
Tobias AmnellGerd BehrmannJohan BengtssonPedro R. D’ArgenioAlexandre DavidAnsgar FehnkerThomas HuneBertrand JeannetKim G. LarsenM. Oliver MöllerPaul PetterssonCarsten WeiseWang Yi
Publisher

Springer Berlin Heidelberg


Related search

What Now, What Next—kairotic Coding and the Unfolding Future Seized

Digital Creativity
ArtsComputer GraphicsHuman-Computer InteractionHumanitiesComputer-Aided DesignComputational TheoryMathematics
2018English

Polyesters: Now and Future.

Kobunshi
Materials SciencePolymersPlasticsChemical EngineeringEnvironmental Science
1997English

Basal Ganglia Circuits: What's Now and Next?

Frontiers in Neuroanatomy
AnatomyNeuroscienceCellularMolecular Neuroscience
2012English

Gerodontology: Now and the Future

Dental update
Dentistry
2010English

Pharmacy Interventions - Where Now, Where Next?

Journal of Pharmacy Practice and Research
PharmacologyPharmacy
2017English

Microbicides: Where Are We Now and What Next?

HIV Therapy
2010English

Embryo Sexing: Cattle Now, People Next?

Nature
Multidisciplinary
1983English

Viewpoint: The Future Is Now

British Journal of General Practice
MedicineFamily Practice
2017English

Flashforward: The Future Is Now

Deleuze Studies
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy