Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Hinchey, M.G.
1993.
The design of real-time applications.
p.
178.
Chang, E.
Manna, Z.
and
Pnueli, A.
1994.
Compositional verification of real-time systems.
p.
458.
Schneider, Steve
1994.
Algebraic Methodology and Software Technology (AMAST’93).
p.
59.
Peters, J.F.
and
Rahardjo, B.
1995.
Higher order logic in reasoning about asynchronous circuits.
Vol. 1,
Issue. ,
p.
74.
Bryans, Jeremy
Davies, Jim
and
Schneider, Steve
1995.
CONCUR '95: Concurrency Theory.
Vol. 962,
Issue. ,
p.
269.
Choudhary, A.
Gehlot, V.
Narahari, B.
Benincasa, M.
and
Metzger, R.
1995.
A specification language for parallel real-time systems.
p.
165.
Liu, T.-K.
Silvester, J.A.
and
Polydoros, A.
1995.
An analytical model for multi-group slotted ALOHA with capture.
p.
534.
Choudhary, A.
Gehlot, V.
and
Narahari, B.
1996.
Syntax and semantics of PRETSEL-a specification language for parallel real-time systems.
p.
525.
Peleska, Jan
1996.
FME'96: Industrial Benefit and Advances in Formal Methods.
Vol. 1051,
Issue. ,
p.
39.
Heisel, Maritta
and
Sühl, Carsten
1997.
Safe Comp 96.
p.
31.
Lai, Luming
and
Watson, Phil
1997.
Hybrid and Real-Time Systems.
Vol. 1201,
Issue. ,
p.
69.
Bowman, Howard
and
Derrick, John
1997.
Transformation-Based Reactive Systems Development.
Vol. 1231,
Issue. ,
p.
383.
Buth, Bettina
Kouvaras, Michel
Peleska, Jan
and
Shi, Hui
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
60.
Heisel, Maritta
and
Siihl, Carsten
1997.
Safe Comp 97.
p.
295.
Choudhary, A.N.
Gehlot, V.
and
Narahari, B.
1997.
Parallel real-time systems: formal specification.
p.
186.
Heisel, Maritta
and
Jähnichen, Stefan
1998.
Requirements Targeting Software and Systems Engineering.
Vol. 1526,
Issue. ,
p.
179.
Buth, Bettina
Peleska, Jan
and
Shi, Hui
1998.
Algebraic Methodology and Software Technology.
Vol. 1548,
Issue. ,
p.
124.
Abdallah, Ali E.
1998.
Euro-Par’98 Parallel Processing.
Vol. 1470,
Issue. ,
p.
165.
Olderog, E.-R.
1998.
Formal methods in real-time systems.
p.
254.
Periyasamy, K.
and
Alagar, V.S.
1998.
Extending Object-Z for specifying real-time systems.
p.
163.