|
Authors:
|
Torsten K. Iversen (external), Kåre J. Kristofferssen (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Morten Laursen (external), Rune G. Madsen (external), Steffen K. Mortensen (external), Paul Pettersson, Chris B. Thomasen (external) |
|
Source:
|
12th Euromicro Conference on Real-Time Systems, p 147-155, Stockholm, Sweden |
|
BibTeX entry
@inproceedings{_2850:2000, author = {Torsten K. Iversen and K{\aa}re J. Kristofferssen and Kim Guldstrand Larsen and Morten Laursen and Rune G. Madsen and Steffen K. Mortensen and Paul Pettersson and Chris B. Thomasen}, title = { Model-Checking Real-Time Control Programs, }, booktitle = {12th Euromicro Conference on Real-Time Systems}, month = {June}, year = {2000}, pages = {147-155}, url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2850}, } |