Jens Ulrik Skakkebæk

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

2 Jens Ulrik Skakkebæk, Natarajan Shankar: Towards a Duration Calculus Proof Assistant in PVS. FTRTFT 1994: 660-679

1 John M. Rushby, Jens Ulrik Skakkebæk: The PVS Verification System and PC/DC. FTRTFT 1994: 777-777

1994
2		Jens Ulrik Skakkebæk, Natarajan Shankar: Towards a Duration Calculus Proof Assistant in PVS. FTRTFT 1994: 660-679
1		John M. Rushby, Jens Ulrik Skakkebæk: The PVS Verification System and PC/DC. FTRTFT 1994: 777-777

Coauthor Index

1 John M. Rushby [1]

2 Natarajan Shankar [2]