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.
Schneider, Steve
1994.
Algebraic Methodology and Software Technology (AMAST’93).
p.
59.
Chang, E.
Manna, Z.
and
Pnueli, A.
1994.
Compositional verification of real-time systems.
p.
458.
Peters, J.F.
and
Rahardjo, B.
1995.
Higher order logic in reasoning about asynchronous circuits.
Vol. 1,
Issue. ,
p.
74.
Liu, T.-K.
Silvester, J.A.
and
Polydoros, A.
1995.
An analytical model for multi-group slotted ALOHA with capture.
p.
534.
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.
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.
Choudhary, A.N.
Gehlot, V.
and
Narahari, B.
1997.
Parallel real-time systems: formal specification.
p.
186.
Heisel, Maritta
and
Siihl, Carsten
1997.
Safe Comp 97.
p.
295.
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.
Buth, Bettina
Kouvaras, Michel
Peleska, Jan
and
Shi, Hui
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
60.
Bowman, Howard
and
Derrick, John
1997.
Transformation-Based Reactive Systems Development.
Vol. 1231,
Issue. ,
p.
383.
Periyasamy, K.
and
Alagar, V.S.
1998.
Extending Object-Z for specifying real-time systems.
p.
163.
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.
Olderog, Ernst-Rüdiger
and
Dierks, Henning
1998.
Compositionality: The Significant Difference.
Vol. 1536,
Issue. ,
p.
465.
Heisel, M.
1998.
Systems Implementation 2000.
p.
19.
