Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Johan Bengtsson

UPPAAL - Now, Next, and Future

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Uppaal in 1995

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Related publications

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