Jonsson, Bengt, 1957-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Jonsson, Bengt
Jonsson, B. 1957-
Jonsson, B. (Bengt E.), 1957-
VIAF ID: 112212197 (Personal)
Permalink: http://viaf.org/viaf/112212197
Preferred Forms
-
200 _ | ‡a Jonsson ‡b Bengt ‡f 1957-....
-
100 1 _
‡a
Jonsson, B.
‡d
1957-
-
100 1 _ ‡a Jonsson, B. ‡q (Bengt E.), ‡d 1957-
-
100 1 _ ‡a Jonsson, Bengt
-
100 1 _
‡a
Jonsson, Bengt
-
100 1 _ ‡a Jonsson, Bengt ‡d (1957- ).
-
100 1 _
‡a
Jonsson, Bengt
‡d
1957-
-
100 1 _
‡a
Jonsson, Bengt
‡d
1957-
-
100 1 _ ‡a Jonsson, Bengt ‡d 1957-
-
100 1 _ ‡a Jonsson, Bengt, ‡d 1957-
-
100 1 _ ‡a Jonsson, Bengt, ‡d 1957-
-
100 1 _
‡a
Jonsson, Bengt,
‡d
1957-
-
100 1 0
‡a
Jonsson, Bengt,
‡d
1957-
-
100 1 _
‡a
Jonsson, Bengt,
‡d
1957-....
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
Works
| Title | Sources |
|---|---|
| Applications of the switched-current technique |
|
| Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing Happens. |
|
| Biomechanics X |
|
| Compositional verification of distributed systems |
|
| CONCUR '94 : concurrency theory : 5th international conference, Uppsala, Sweden, August 22-25, 1994 : proceedings |
|
| The forest management planning package : theory and application |
|
| Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings |
|
| Formaldehyde contents in Swedish chipboard : a comparison between different laboratories |
|
| Frågeformulär för kartläggning av belastningsrelaterade besvär i rörelseorganen |
|
| Funktioner för långsiktiga prognoser beträffande virkesförrådets storlek och sammansättning = Functions for long-term forecasting of the size and structure of timber yields |
|
| Handen som arbetsredskap : sammanfatningar från en kurs presenterad vid arbetsmedicinska kontaktdagarna 27-28 april 1977 |
|
| Indeterminate concurrent constraint programming : a fixpoint semantics for non-terminating computations |
|
| The lumbar part of the erector spinae muscle : a technique for electromyographic studies of the function of its individual muscles |
|
| Méthodes automatisées de test formel des systèmes de stockage et des applications. |
|
| Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday |
|
| Optimal Stateless Model Checking under the Release-Acquire Semantics |
|
| Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1 Eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 June, 1991 |
|
| Review of small scale devices for measuring chemical emission from materials |
|
| Scalable Tree-based Register Automata Learning |
|
| Statistical Data Analysis for Internet-of-Things Scalability, Reliability, and Robustness. |
|
| Studier över den av väderleken orsakade variationen i årsringsbredderna hos tall och gran i Sverige |
|
| Studier över tallens stamform i norra Sverige = Stem form studies of pine in northern Sweden |
|
| Switched-current signal processing and A/D conversion circuits : design and implementation |
|
| Synchronization Techniques in Parallel Discrete Event Simulation |
|
| Towards a complete hierarchy of compostional dataflow models |
|
| Volume yield to mid-rotation in pure and mixed sown stands of Pinus sylvestris and Picea abies in Sweden |
|
