1. |
- David, A., et al.
(författare)
-
Tools for Model-Checking Timed Systems
- 2013
-
Ingår i: Communicating Embedded Systems: Software and Design: Formal Methods. - : John Wiley & Sons, Inc.. - 9781848211438 ; , s. 165-225
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
2. |
|
|
3. |
- Grant, Alex J., et al.
(författare)
-
Iterative Techniques
- 2009. - 1
-
Ingår i: Advances in Multiuser Detection. - Hoboken, NJ, USA : John Wiley & Sons. - 9780471779711 ; , s. 47-126
-
Bokkapitel (refereegranskat)
|
|
4. |
- Haglund, U, et al.
(författare)
-
Complications related to pneumoperitoneum
- 1995
-
Ingår i: Complications of Laparoscopic Surgery. - : Quality Medical Publishing Inc., St. Louis, Missouri. ; , s. 26-
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
|
|
5. |
|
|
6. |
|
|